# HG changeset patch
# User Steve Huston <huston@astro.princeton.edu>
# Date 1600716358 14400
# Node ID 5d0e1adee7e073d6023c4dcf44926d728a642d81
# Parent  2dc3fbf6509482cba49789162398ac6a00821f7c
Modifying cert alias for different key

diff -r 2dc3fbf65094 -r 5d0e1adee7e0 .bash_aliases
--- a/.bash_aliases	Mon Sep 21 15:19:55 2020 -0400
+++ b/.bash_aliases	Mon Sep 21 15:25:58 2020 -0400
@@ -75,10 +75,10 @@
 # SSH key signing with Vault for administration
 cert() {
   export VAULT_ADDR='https://ajax.rc.princeton.edu:8200'
-  ssh-add -d $HOME/.ssh/picscie.pvt-cert.pub > /dev/null 2>&1
+  ssh-add -d $HOME/.ssh/rc_vault_key-cert.pub > /dev/null 2>&1
   if vault login -method=radius username=vi-srh; then
-    vault write -field=signed_key ssh-client-signer/sign/root public_key=@$HOME/.ssh/picscie.pub > $HOME/.ssh/picscie.pvt-cert.pub
-    ssh-add $HOME/.ssh/picscie.pvt
+    vault write -field=signed_key ssh-client-signer/sign/root public_key=@$HOME/.ssh/rc_vault_key.pub > $HOME/.ssh/rc_vault_key-cert.pub
+    ssh-add $HOME/.ssh/rc_vault_key
   else
     echo Failed to login to vault, aborting
   fi