Changes between Version 22 and Version 23 of TipAndDoc/console

Timestamp:

Apr 1, 2012 11:11:33 PM (12 years ago)

Author:

mitty

Comment:

--

TipAndDoc/console

@@ -38 +38 @@
  > * の "#!/bin/sh" に "--login" オプションを付加する
  > しかし今回はもっと簡単に、せっかくこの中で "$HOME/.profile" が呼び出されているのだから、このファイルの中で ". $HOME/.bash_profile" することにした。これで、しばらく様子を見ることにする。
+  * ~/.profile
 {{{#!sh
 if [ -n "$BASH_VERSION" ]; then
@@ -46 +47 @@
 fi
 }}}
-  * これは、Debian Squeezeでは効果がなかった
+   * これは、Debian Squeezeでは効果がなかった
+  * /etc/gdm3/Xsession
+{{{#!sh
+test -f "$HOME/.bash_profile" && . "$HOME/.bash_profile"
+}}}
+   * PATH=... などは設定されるが、「/usr/bin/screen -d -RR -U」は実行されない
 
  = screen =