Skip to main content

Johan Bové

Noticed today that and finally did it: they've integrated directly into Github with https://github.dev. Really slick.

Johan Bové

Johan Bové

Git aliases

1 min read

As a developer I use Git all the time and since I also spend a lot of time in terminals, and modern terminals have the option to create aliases for commands, I have these Git command aliases to speed up my workflow:

# PGP
# Checks the git log for commits with a signature and very the found PGP keys with keys looked up
#   in pgp.mit.edu
# See https://mikegerwitz.com/papers/git-horror-story
alias gitpgp='git log --show-signature | grep "RSA key" | grep -o "[A-Z0-9]\+$" | sort | uniq | xargs gpg --keyserver pgp.mit.edu --recv-keys $keys'

# GIT
alias gc='git checkout'
alias gf='git fetch'
alias gs='git status'
alias gl='git log --oneline'
alias gp='git pull'
# Will give you a list of branches sorted by committer date
alias gbl='git for-each-ref --sort=committerdate refs/heads/ --format="%(color:red)%(committerdate:short) %(color:cyan)%(refname:short)"'
alias gh='git rev-parse --verify --short HEAD'

, , ,

Johan Bové

After quite the rush today through 's theme customization and CSS styling, I'm finally settling with the current design. In the meantime I also fixed the Known plugin form - on my own instance - to allow for selecting if a bookmark is a "Like" or a "Re-post". Will send a on to fix [this Issue](https://github.com/idno/known/issues/1652) soon.