15 Nov 2018
Dr. Drang:
On the iPad, ⇧⌘3 captures the whole screen, just like the Mac (and just like capturing with the top and
volume up buttons). The ⇧⌘4 shortcut also captures the whole screen, but in a neat analogy to the Mac,
it immediately puts you into editing mode so you can crop the capture down to a smaller size.
I don’t find these keyboard shortcuts surprising, but it is surprising that I never thought to try it on
an iPad. With the new screenshot tool
in macOS Mojave, I wonder what other features will reach parity on macOS and iOS in the future.
07 Sep 2018
Every so often, I’ll want to delete all of my local branches for a repository that aren’t the master branch. An easy command to do this is:
$ git branch | grep -v "master" | xargs git branch -d
(If you want to keep multiple branches, such as master and develop, you can chain them together using grep -v "master\|develop")
git branch lists all of the local branches for the repo, grep -v prints all of the lines from the previous command that don’t match “master”, and xargs takes each line from the previous output and runs git branch -d <output_line>.
I recommend using -d rather than -D in case git recommends not deleting the branch.
24 Aug 2018
HTTPS to SSH Key
Often I need to change a git repository to use an SSH key instead of my username and password to authenticate with the remote server. In order to do so, type the following in the repository’s folder on your machine:
$ git config remote.origin.url git@github.com:username/repository_name.git
(Make sure to include the .git at the end of the repository name.)
SSH Key to HTTPS
In order to change it to do the reverse, type:
$ git config remote.origin.url https://github.com/username/repository