Changes between Version 21 and Version 22 of TipAndDoc/console


Ignore:
Timestamp:
Apr 1, 2012 11:00:08 PM (12 years ago)
Author:
mitty
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TipAndDoc/console

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