Skip to content

Instantly share code, notes, and snippets.

View rbary's full-sized avatar

Roland BARY rbary

View GitHub Profile
@rbary
rbary / ipython_notebook_in_git.md
Created October 28, 2018 15:02 — forked from pbugnion/ ipython_notebook_in_git.md
Keeping IPython notebooks under Git version control

This gist lets you keep IPython notebooks in git repositories. It tells git to ignore prompt numbers and program outputs when checking that a file has changed.

To use the script, follow the instructions given in the script's docstring.

For further details, read this blogpost.

The procedure outlined here is inspired by this answer on Stack Overflow.

@rbary
rbary / .gitignore
Created October 26, 2018 05:12 — forked from ericelliott/.gitignore
Sample Node project .gitignore
node_modules
build
npm-debug.log
.env
.DS_Store
@rbary
rbary / gitflow-breakdown.md
Created October 11, 2018 11:09 — forked from JamesMGreene/gitflow-breakdown.md
A comparison of using `git flow` commands versus raw `git` commands.

Initialize

gitflow git
git flow init git init
  git commit --allow-empty -m "Initial commit"
  git checkout -b develop master

Connect to the remote repository

@rbary
rbary / GitDeleteCommands.ps1
Created September 26, 2018 16:36 — forked from cmatskas/GitDeleteCommands.ps1
Git Delete Branch commands
## Delete a remote branch
$ git push origin --delete <branch> # Git version 1.7.0 or newer
$ git push origin :<branch> # Git versions older than 1.7.0
## Delete a local branch
$ git branch --delete <branch>
$ git branch -d <branch> # Shorter version
$ git branch -D <branch> # Force delete un-merged branches
## Delete a local remote-tracking branch
@rbary
rbary / 0_reuse_code.js
Created February 16, 2017 12:25
Here are some things you can do with Gists in GistBox.
// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console
@rbary
rbary / debian-install-zram.sh
Created January 11, 2017 19:19
Install zRAM on Debian(8)
#!/bin/bash
#
not_root() {
echo "ERROR: You have to be root to execute this script"
exit 1
}
zram_exists() {
echo "ERROR: /etc/init.d/zram already exists"