Remove now-useless SSH workaround

zsh/.config/zsh/.zshrc

@@ -61,13 +61,14 @@ fpath+=("$ZDOTDIR/plugins/nix-zsh-completions")
 AUTO_NOTIFY_IGNORE+=(
 	"gcloud compute ssh"
 	"nix run"
-	"git"
 	"bash"
 	"sem debug"
-	"git log"
+	"git "{commit,grep,log}
 	"journalctl"
 	"jekyll serve"
 	"sudoedit"
+	"ipython"{,3}
+	"sem "{attach,debug}
 )
 
 
@@ -92,7 +93,7 @@ alias wget="wget --hsts-file=\"$XDG_CACHE_HOME/wget-hsts\""
 alias makej="make -j$(nproc)"
 alias sdc='sudo docker-compose'
 alias nrc='nix run -c'
-alias gcs='gcloud compute ssh'
+alias gcs='gcloud compute ssh --tunnel-through-iap'
 alias gscp='gcloud compute scp'
 alias gci='gcloud compute instances'
 
@@ -290,28 +291,3 @@ if (( $+commands[bat] )); then
 	# And replace cat while we're at it
 	alias cat='bat'
 fi
-
-############################
-# Special SSH key handling #
-############################
-
-if [[ -f ~/.ssh/id_ed25519 ]]; then
-	# gnome-keyring doesn't handle ed25519 keys properly; try setting up an alternative agent.
-	export SSH_ENV="$HOME/.ssh/environment"
-
-	start_agent() {
-		echo "Initialising new SSH agent..."
-		/usr/bin/ssh-agent | sed 's/^echo/#echo/' > "${SSH_ENV}"
-		echo Succeeded
-		chmod 600 "${SSH_ENV}"
-		. "${SSH_ENV}" > /dev/null
-		/usr/bin/ssh-add ~/.ssh/google_compute_engine >/dev/null 2>&1
-	}
-
-	if [ -f "${SSH_ENV}" ]; then
-		. "${SSH_ENV}" > /dev/null
-		kill -0 "$SSH_AGENT_PID" 2>/dev/null || { start_agent; }
-	else
-		start_agent
-	fi
-fi