https://www.internalpointers.com/post/squash-commits-into-one-git
Monthly Archives: July 2021
get all output in a console into a file
https://stackoverflow.com/questions/6674327/redirect-all-output-to-file-in-bash
delete a branch locally and remote
to delete a local branch: git branch -d bname to delete a remote branch git push origin –delete bname https://www.git-tower.com/learn/git/faq/delete-remote-branch/
run/debug pytest in VScode
https://code.visualstudio.com/docs/python/testing#_test-configuration-settings
emacs in mac os
use this emacs version from eamcsformacosx. sometime, if os x complains the version, use an old version. also, brew install emacs will install core, only in the terminal. you can view them as two separate emacs. to use gui, one need permissions, grant disk access to /usr/bin/ruby and emacs. to see /usr/bin/ruby, press ctrl+cmd+period to …