chiark / gitweb /
dot/putty-defaults: PuTTY wants to sort the `TerminalModes' line.
[profile] / dot / xsession
index 4497b21904ca32af419b0bb13d8b6ce8c228da71..af2cd7c148887063934b8dbe8a7ca7358715e3d3 100755 (executable)
@@ -1,8 +1,8 @@
-#! /bin/bash
+#! /bin/sh
 
 # --- Lots of sensible initialisation ---
 
 __mdw_force_secure_session=yes
-. $HOME/.bash_profile
-$HOME/.xinitrc
-. $HOME/.bash_logout
+. "$HOME/.profile"
+"$HOME/.xinitrc"
+. "$HOME/.shell-logout"