Changes between Version 8 and Version 9 of TipAndDoc/console/shell


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TipAndDoc/console/shell

    v8 v9  
    9090 > }}} 
    9191 
    92   
     92  = bash = 
     93 * [http://fumixlog.blogspot.jp/2009/09/gdm-bashprofile.html インストールと設定の備忘録(第二部): gdm 経由でログインすると .bash_profile が実行されない] 
     94 > * 直接この中で .bash_profile を呼び出す 
     95 > * 冒頭の "#!/bin/sh" に "--login" オプションを付加する 
     96 > しかし今回はもっと簡単に、せっかくこの中で "$HOME/.profile" が呼び出されているのだから、このファイルの中で ". $HOME/.bash_profile" することにした。これで、しばらく様子を見ることにする。 
     97  * ~/.profile 
     98{{{#!sh 
     99if [ -n "$BASH_VERSION" ]; then 
     100    # include .bash_profile if it exists 
     101    if [ -f "$HOME/.bash_profile" ]; then 
     102        . "$HOME/.bash_profile" 
     103    fi 
     104fi 
     105}}} 
     106   * これは、Debian Squeezeでは効果がなかった 
     107  * /etc/gdm3/Xsession 
     108{{{#!sh 
     109test -f "$HOME/.bash_profile" && . "$HOME/.bash_profile" 
     110}}} 
     111   * PATH=... などは設定されるが、「/usr/bin/screen -d -RR -U」は実行されない 
     112    * GUI上でターミナルを開いても、screenセッションを奪わないので逆に便利と言えるかも知れない 
     113 * [http://d.hatena.ne.jp/hogem/20090411/1239451878 bashのキーバインド(キーボードショートカット) まとめ - readlineとbind、ついでにstty編 - うまい棒blog] 
     114