diff .shared/b @ 274:02a3d7c46b2b

Better 'ds end' functionality, and ability to share a remote environment more easily
author Steve Huston <huston@srhuston.net>
date Fri, 26 Apr 2024 12:02:56 -0400
parents 61b830d34016
children
line wrap: on
line diff
--- a/.shared/b	Thu Apr 25 16:38:37 2024 -0400
+++ b/.shared/b	Fri Apr 26 12:02:56 2024 -0400
@@ -21,5 +21,9 @@
   curl --create-dirs -so ${DOTHOME}/$F http://localhost:${DOTSHARE_PORT}/$F
 done
 
-export DOTHOME
+cat > ${DOTHOME}/.env-setup << EOF
+export DOTHOME=${DOTHOME}
 source ${DOTHOME}/shared_bashrc
+EOF
+
+source ${DOTHOME}/.env-setup