Changes between Version 21 and Version 22 of TipAndDoc/console

Timestamp:

Apr 1, 2012 11:00:08 PM (13 years ago)

Author:

mitty

Comment:

--

TipAndDoc/console

@@ -38 +38 @@
  > * の "#!/bin/sh" に "--login" オプションを付加する
  > しかし今回はもっと簡単に、せっかくこの中で "$HOME/.profile" が呼び出されているのだから、このファイルの中で ". $HOME/.bash_profile" することにした。これで、しばらく様子を見ることにする。
+{{{#!sh
+if [ -n "$BASH_VERSION" ]; then
+    # include .bash_profile if it exists
+    if [ -f "$HOME/.bash_profile" ]; then
+        . "$HOME/.bash_profile"
+    fi
+fi
+}}}
+  * これは、Debian Squeezeでは効果がなかった
+
  = screen =
  * [http://www.dekaino.net/screen/ Let's use SCREEN!]