Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
doc:gayas-random-stuff [2014/01/10 21:27] – gkazhoya | doc:gayas-random-stuff [2014/03/18 16:33] – gkazhoya | ||
---|---|---|---|
Line 42: | Line 42: | ||
Hotkeys : | Hotkeys : | ||
- | C-c C-d d | + | C-c C-d d |
C-h b list all bindings. Then C-s slime. | C-h b list all bindings. Then C-s slime. | ||
Line 57: | Line 57: | ||
git cherry-pick sha-of-commit | git cherry-pick sha-of-commit | ||
</ | </ | ||
+ | |||
+ | -- | ||
+ | |||
+ | As upstream for your repo set your fork on GitHub and use '' | ||
+ | |||
+ | -- | ||
+ | |||
+ | Moving dir to another repo with history | ||
+ | |||
+ | <code bash> | ||
+ | cd /tmp | ||
+ | git clone https:// | ||
+ | cd REPO | ||
+ | git filter-branch --prune-empty --subdirectory-filter MY_DIR -- --all | ||
+ | git filter-branch --force --index-filter 'git ls-files -s | sed " | ||
+ | | ||
+ | roscd REPO2 | ||
+ | git remote add tmp /tmp/REPO | ||
+ | git pull tmp | ||
+ | git commit --amend --vm "Moved MY_DIR here from REPO" | ||
+ | git remote rm tmp | ||
+ | </ | ||
+ | |||
+ | --- | ||
+ | |||
+ | When installing both moveit full (including mongo-db deps) and mongodb-10gen, |