Add aliases and envvars from wsl-home

profile/rda/envrcd.d/10-envvars

@@ -95,7 +95,7 @@ export BAT_THEME='DarkNeon'
 #export XDG_CONFIG_HOME="${ENVRCD_PROFILE_PATH}/.config"
 
 # --- ansible ---
-if [ "${ENVRCD_USER}" == "rda" ] && [ "${USER}" == "maedersv" ]; then
+if [[ "${ENVRCD_USER}" == "rda" ]] && [[ "${USER}" == "maedersv" || "${USER}" == "rda" ]]; then
     #export ANSIBLE_CONFIG="~/.ansible.cfg"
     if [ -d "$HOME/.local/bin" ]; then
         export PATH="${HOME}/.local/bin:${PATH}"

profile/rda/envrcd.d/20-aliases

@@ -32,6 +32,11 @@ alias llt='ls -hlFtr'
 alias lat='ls -hlAFtr'
 alias s='ssh'
 alias snk='ssh -o StrictHostKeyChecking=no -o GlobalKnownHostsFile=/dev/null -o UserKnownHostsFile=/dev/null'
+alias sr='ssh -J rda.ethz.ch'
+alias shci='ssh -J phd-jump-hci.ethz.ch'
+alias shit='ssh -J phd-jump-hit.ethz.ch'
+alias shpt='ssh -J phd-jump-hpt.ethz.ch'
+alias e='ssh maedersv@rda.ethz.ch'
 alias slapcat='slapcat -o ldif-wrap=no'
 alias ldapsearch='ldapsearch -o ldif-wrap=no'
 alias ldapimodify='ldapmodify -Y EXTERNAL -H ldapi://'

profile/rda/envrcd.d/30-prompt

@@ -45,7 +45,7 @@ function envrcd_prompt_rda {
 
     # Check for normal user account
     local USERAT="\u@"
-    if [ "${ENVRCD_USER}" == "rda" ] && [ "${HOSTNAME}" == "rda" ] && [ "${USER}" == "maedersv" ]; then
+    if [[ "${ENVRCD_USER}" == "rda" ]] && [[ "${HOSTNAME}" == "rda" || "${HOSTNAME}" == "compi" ]] && [[ "${USER}" == "maedersv" || "${USER}" == "rda" ]]; then
         USERAT=""
     fi