Delete merged git branches
October 13, 2020
Handy git command for deleting all local git branches that already merged git branch --merged | egrep -v "(^\|master|dev)" | xargs git branch -d*
More on shell
shellDecember 8, 2020
Run incognito/private commands for Bash and Zsh
Simply put a space before the command and it won't be saved to ~/.bash\_history. E.g. qrencode -o out.png "Some secret text"
shellOctober 22, 2020
Upgrade postgres database with homebrew
To upgrade postgres you can run
shellOctober 13, 2020
Amazon AWS S3 CLI copy with set perms
Open term (or equivalent) and paste the following: