UbuntuでTimezoneを変更する方法 - ソフトウェアエンジニア現役続行
Ubuntuでタイムゾーンを設定する方法を検索すると、主に以下の2通りが出てきます。 「cp /usr/share/zoneinfo/Asia/Tokyo /etc/localtime」コマンドを実行して再起動 「dpkg-reconfigure tzdata」コマンドを実行して、インタラクティブウィンドウが起動するので、Asia -> Tokyoを設定する １ではなく２の方法で設定することをオススメします。 １だと、dpkg自体がこのタイムゾーン設定を覚えないため、のちのちapt-get upgradeなどで様々なパッケージがアップグレードされたときに、タイムゾーンの設定が戻ってしまいます。２だとそのようなことは起こりません。
flymakeのデバッグmessage設定 - Qiita
を評価する。flymakeが走るたびに*Messages*bufferにログ情報が出力される。どんな一時ファイルが作成されてどんなコマンドが実行されているのか、確認できる。 log levelは以下のようになっていて、defaultは-1。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Git 2.0.0 を Ubuntu 14.04 にインストールした - Qiita
