Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Next revisionBoth sides next revision
doc:gayas-random-stuff [2014/03/17 15:18] – gkazhoyadoc:gayas-random-stuff [2014/03/18 16:33] – gkazhoya
Line 42: Line 42:
 Hotkeys : Hotkeys :
  
-C-c C-d d   describe slime variable+C-c C-d d   describe \\
 C-h b      list all bindings. Then C-s slime. C-h b      list all bindings. Then C-s slime.
  
Line 71: Line 71:
   cd REPO   cd REPO
   git filter-branch --prune-empty --subdirectory-filter MY_DIR -- --all   git filter-branch --prune-empty --subdirectory-filter MY_DIR -- --all
-  git filter-branch --index-filter 'git ls-files -s | sed "s-\t\"*-&newsubdir/-" | GIT_INDEX_FILE=$GIT_INDEX_FILE.new git update-index --index-info && mv "$GIT_INDEX_FILE.new" "$GIT_INDEX_FILE"' HEAD+  git filter-branch --force --index-filter 'git ls-files -s | sed "s-\t\"*-&newsubdir/-" | GIT_INDEX_FILE=$GIT_INDEX_FILE.new git update-index --index-info && mv "$GIT_INDEX_FILE.new" "$GIT_INDEX_FILE"' HEAD
                                                                          
   roscd REPO2   roscd REPO2
Line 79: Line 79:
   git remote rm tmp   git remote rm tmp
 </code> </code>
 +
 +---
 +
 +When installing both moveit full (including mongo-db deps) and mongodb-10gen, both try to write to the same file. So, force the overwrite when installing the second of the mongodb packages: http://www.webupd8.org/2011/02/fix-dpkg-error-trying-to-overwrite-x.html