added aliases alias

bashrc_overrides/convenience_aliases

@@ -1,7 +1,9 @@
-alias pubkey='for PUBKEY_FILE in $(ls ~/.ssh/id_*.pub); do echo "${PUBKEY_FILE} :" | sed -e "s/.*id_//;s/\.pub//"; cat "${PUBKEY_FILE}"; echo; done'
+alias pubkey='for PUBKEY_FILE in $(ls ~/.ssh/id_*.pub); do echo "${PUBKEY_FILE} :" | sed -e "s/.*id_//;s/\.pub//"; cat "${PUBKEY_FILE}"; ssh-keygen -lf "${PUBKEY_FILE}" -E sha256; echo; done'
+alias taglist='git tag | tr - \~ | sort -V | tr \~ -'
 alias hosts='sudo nano /etc/hosts'
 alias historygrep='history | grep'
 alias sshconfig='nano ~/.ssh/config'
+alias aliases='nano ~/.bash_aliases'
 alias bashrc='. ~/.bashrc'
 alias sshagent='eval `ssh-agent` && ssh-add ~/.ssh/id_!(*.pub)'
 alias sshfingerprint='ssh-keygen -lf'

bashrc_overrides/git_functions

@@ -21,3 +21,16 @@ __git_prompt() {
 __git_history() {
   echo "$(git log --oneline | cut -d ' ' -f 1)"
 }
+
+tagpush() {
+  if [ -z "$1" ]; then
+    echo "Usage: tagpush <tag>"
+    return
+  fi
+  git tag "$1"
+  # for every remote
+  for REMOTE in $(git remote) ; do
+    # push current branch and newly created tag
+    git push "$REMOTE" $(git branch | grep "*" | sed 's/\* //') "$1"
+  done
+}