タグ

ブックマーク / bearmini.hatenablog.com (1)

  • Guake Terminal の横幅を調整する方法(Ubuntu 12.04) - bearmini's blog

    前フリ プログラマのみなさんなら何かしらの Terminal を日々使い倒していることと思います。 GUI で何かの操作をしているときに、急に何かコマンドとかスクリプトとかワンライナーを実行したくなりますよね。 私は一日に 1024 回くらいなります。 そのたびに毎回 Terminal を起動していたり、後ろに回ってしまった Terminal のウインドウを探しまわったりしていると大変な時間の浪費です。 そこで Guake です。 F12 を押すだけでいつでも確実に Terminal にアクセスできる快感は一度覚えてしまうともうやみつきで離れられなくなります。 そんな Guake ですが、使っているうちにいくつか不満が出てきました。 (やっぱり MaciTerm とか Windows の Console2 とかと比べちゃいますね。) たとえば、マウスカーソルで選択しただけで選択範囲の

    Guake Terminal の横幅を調整する方法(Ubuntu 12.04) - bearmini's blog
    Dryad
    Dryad 2013/07/31
  • 1