Changes between Version 37 and Version 38 of TipAndDoc/console


Ignore:
Timestamp:
May 30, 2017 11:56:01 PM (7 years ago)
Author:
mitty
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TipAndDoc/console

    v37 v38  
    5555 > $ tail -f logfile | nkf -u -S -w 
    5656 > }}} 
    57  
    58  = bash = 
    59  * [http://fumixlog.blogspot.jp/2009/09/gdm-bashprofile.html インストールと設定の備忘録(第二部): gdm 経由でログインすると .bash_profile が実行されない] 
    60  > * 直接この中で .bash_profile を呼び出す 
    61  > * 冒頭の "#!/bin/sh" に "--login" オプションを付加する 
    62  > しかし今回はもっと簡単に、せっかくこの中で "$HOME/.profile" が呼び出されているのだから、このファイルの中で ". $HOME/.bash_profile" することにした。これで、しばらく様子を見ることにする。 
    63   * ~/.profile 
    64 {{{#!sh 
    65 if [ -n "$BASH_VERSION" ]; then 
    66     # include .bash_profile if it exists 
    67     if [ -f "$HOME/.bash_profile" ]; then 
    68         . "$HOME/.bash_profile" 
    69     fi 
    70 fi 
    71 }}} 
    72    * これは、Debian Squeezeでは効果がなかった 
    73   * /etc/gdm3/Xsession 
    74 {{{#!sh 
    75 test -f "$HOME/.bash_profile" && . "$HOME/.bash_profile" 
    76 }}} 
    77    * PATH=... などは設定されるが、「/usr/bin/screen -d -RR -U」は実行されない 
    78     * GUI上でターミナルを開いても、screenセッションを奪わないので逆に便利と言えるかも知れない 
    79  * [http://d.hatena.ne.jp/hogem/20090411/1239451878 bashのキーバインド(キーボードショートカット) まとめ - readlineとbind、ついでにstty編 - うまい棒blog] 
    8057 
    8158 = screen =