2022-02-04から1日間の記事一覧
昔のgnome-terminalには、ウインドウタイトルに現在のパスなどを表示する機能があってウインドウの切替え時の内容確認に使っていた。いつの間にかその機能が廃止されていて、ジャンプリスト中のウインドウ名がすべて"Terminal"というひどいことになっていた…
昔のgnome-terminalには、ウインドウタイトルに現在のパスなどを表示する機能があってウインドウの切替え時の内容確認に使っていた。いつの間にかその機能が廃止されていて、ジャンプリスト中のウインドウ名がすべて"Terminal"というひどいことになっていた…