カテゴリー: blog

git のリポジトリURLを変更する

git のリポジトリURL を HTTP (https://github.com/…) から SSH (git@github.com:…) に変更して、push 時にユーザー名とパスワードの問い合わせを防ぐ。 $ git remote set-url origin git@github.com:<YOUR_GIT_REPOSITORY_ADDRESS>

Ubuntu, インジケーターアプレットの日付と時刻のフォーマットをカスタマイズする

Gnome パネルのインジケーターアプレットの時計に日付を表示するように設定した際のメモ。 日時のカスタムフォーマットを利用するように設定し、カスタムフォーマットを指定する。 $ gsettings set com.canonical.indicator.datetime time-format "custom" $ gsettings set com.canonical.in…続きを読む

Ubuntu, Gnome Terminal を最大化で起動する

Gnome Terminal を常に最大化して起動する設定のメモ。 パネルのランチャ、または設定のメイン・メニューから Gnome端末のプロパティを表示させ、コマンド部分に –maximize のオプションを追加する。 gnome-terminal –maximize

HTML5, menu 要素の contextmenu 属性

Firefox8 で実装(テスト?)された HTML5 の menu 要素の contextmenu 属性を試してみた。 任意の要素の contextmenu の属性値に追加したい menu 要素の id 値を指定すると、その要素を右クリックした際に menu 要素のメニューが右クリックメニューに追加される。 サイトに独自の右クリックメニューを追加することができる。 HTML5 contextme…続きを読む