various minor fixes

[distro-setup] / filesystem / etc / profile.d / environment.sh

diff --git a/filesystem/etc/profile.d/environment.sh b/filesystem/etc/profile.d/environment.sh
index 95dce05679534846aad55c42eff9b722136822d5..ebc73bbc89fb32e4fb1ece20170a390843e59f4a 100644 (file)
--- a/filesystem/etc/profile.d/environment.sh
+++ b/filesystem/etc/profile.d/environment.sh
@@ -1,7 +1,7 @@
 if [ -f $HOME/path_add-function ]; then
     . $HOME/path_add-function
-    path_add /usr/sbin /usr/local/sbin /sbin
-    path_add /a/exe /a/opt/bin $HOME/.cabal/bin
+    path_add /usr/sbin /usr/local/sbin /sbin /a/exe /a/opt/bin
+    path_add --end $HOME/.cabal/bin
 
     if [ -r /etc/alternatives/java_sdk ]; then
         export JAVA_HOME=/etc/alternatives/java_sdk
@@ -14,6 +14,7 @@ export EDITOR="emacsclient"
 # instead of some alternate editor logic
 export ALTERNATE_EDITOR=""
 
+export PITHOSFLY_SAVE_DIR=/a/pandora_rips4
 
 # makes subsequent syscalls to localtime use cached timezone,
 # so basically restart the comp if you change time zones,
@@ -55,16 +56,20 @@ if [ -f /etc/fedora-release ]; then
     fi
 fi
 
+# background:
 # ubuntu has 002 for non-system users, debian has 022.  002 makes groups
-# be rw instead of r. One security concern is where some unixes put
-# every user in a same group, so if you copy files there with exact
-# perms, that is probably not what you want. I don't use a system like
-# that. I don't care much either way, but the ubuntu one seems a bit
-# more user friendly, and copying files between them is a annoying with
-# different umasks. However, it also makes it so if you create a file as
-# a regular user then move it to become a system file, it's got slightly
-# wrong permissions, and sometimes thing break. So, this outweighs the
-# other things, stick with 022 umask always.
+# be rw instead of r.
+#
+# ubuntu is more user friendly when using multiple users. However,
+# it also makes it so if you create a file as a regular user then move
+# it to become a system file, it's got slightly wrong permissions, and
+# sometimes thing break. Also, copying files between ubuntu and debian
+# makes things inconsistent. So stick with 022 umask always.
+#
+# One security concern is where some unixes put every user in a same
+# group, so if you copy files there with exact perms, that is probably
+# not what you want. I don't use a system like that, so I don't
+# care.
 umask 022
 # this is how we could test for non-system user