Retourner au contenu associé (dépêche : LiquidPrompt version 1.0)
Posté par jice (site web personnel) le 12 août 2012 à 17:09. En réponse à la dépêche LiquidPrompt version 1.0. Évalué à 2.
Une piste :
$ echo $LP_OLD_PROMPT_COMMAND history -a; echo -ne "033円]0;${USER}@${HOSTNAME%%.*}:${PWD/#$HOME/~}"; echo -ne "007円" $ $LP_OLD_PROMPT_COMMAND bash: history: -; : option non valable
or si j'exécute $ history -a; echo -ne "033円]0;${USER}@${HOSTNAME%%.*}:${PWD/#$HOME/~}"; echo -ne "007円" pas de problème.
Après avoir fait : $ $LP_OLD_PROMPT_COMMAND='history -a ; echo -ne "033円]0;${USER}@${HOSTNAME%%.*}:${PWD/#$HOME/~}"; echo -ne "007円"'
je n'ai plus l'erreur (noter l'espace avant le 1er point virgule).
PS: super mise en abîme : sur un journal de nojhan, je me répond à moi-même et donc un strip de nojhan s'affiche :) (pour ceux qui ne connaissent pas : https://linuxfr.org/images/dessins/geekscottes_005.png)
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: bug?
Posté par jice (site web personnel) . En réponse à la dépêche LiquidPrompt version 1.0. Évalué à 2.
Une piste :
$ echo $LP_OLD_PROMPT_COMMAND
history -a; echo -ne "033円]0;${USER}@${HOSTNAME%%.*}:${PWD/#$HOME/~}"; echo -ne "007円"
$ $LP_OLD_PROMPT_COMMAND
bash: history: -; : option non valable
or si j'exécute
$ history -a; echo -ne "033円]0;${USER}@${HOSTNAME%%.*}:${PWD/#$HOME/~}"; echo -ne "007円"
pas de problème.
Après avoir fait :
$ $LP_OLD_PROMPT_COMMAND='history -a ; echo -ne "033円]0;${USER}@${HOSTNAME%%.*}:${PWD/#$HOME/~}"; echo -ne "007円"'
je n'ai plus l'erreur (noter l'espace avant le 1er point virgule).
PS: super mise en abîme : sur un journal de nojhan, je me répond à moi-même et donc un strip de nojhan s'affiche :)
(pour ceux qui ne connaissent pas : https://linuxfr.org/images/dessins/geekscottes_005.png)