⚠️Post under construction: we apologise for any inconvenience⚠️

This page contains notes to myself on useful bash commands including git

Removing a now-ignored file

git rm -r --cached .
git add .
git commit -m "Removed files now covered by .gitignore"

TODO: git stash push pop status list

grep -nri "string" . --exclude-dir="dir1" --exclude-dir="dir2"