環境によって背景色を変更

profile設定とかめんどくさい!.bashrcにでもぶち込んでおけ

echo -e '\033]1337;SetColors=bg=400\a'
背景色変更echo -e '\033]1337;SetColors=bg=400\a'
タブ色変更(RGBそれぞれ指定)echo -e "\033]6;1;bg;green;brightness;255\a"

トップ   編集 凍結 差分 履歴 添付 複製 名前変更 リロード   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2022-10-14 (金) 13:16:53