48d8f42bf780 default tip

--- a/remote/bash_profile	Thu Dec 04 10:32:44 2025 -0500
+++ b/remote/bash_profile	Wed Dec 10 11:07:06 2025 -0500
@@ -44,7 +44,7 @@
 }
 
 function mcd {
-    mkdir "$1" && cd "$1"
+    mkdir "$1" && cd "$1" || return
 }
 
 if [ -n "$SSH_CLIENT" ] || [ -n "$SSH_TTY" ]; then
@@ -108,6 +108,10 @@
     ps auxww | grep --color=always "$@" | grep -v grep | collapse | cuts -f 2,11-
 }
 
+function rcd() {
+    cd "$(readlink -f "$(pwd)")" || return
+}
+
 GPG_TTY=$(tty)
 export GPG_TTY
 
@@ -116,8 +120,8 @@
 export _Z_CMD=j
 export _Z_DATA=$HOME/.z-bash
 
-. $HOME/src/dotfiles/z.sh
+. "$HOME/src/dotfiles/z.sh"
 
-if [ -f $HOME/.bash_profile_sjl_local ]; then
-    source $HOME/.bash_profile_sjl_local
+if [ -f "$HOME/.bash_profile_sjl_local" ]; then
+    source "$HOME/.bash_profile_sjl_local"
 fi