This domain may be for sale!
コマンドキーを押しながらドラッグすると簡単に削除できます。 ※スタートアップに登録されていたら再ログイン時に復活してしまうので、 ついでに消しておきましょう。 (システム環境設定→アカウント→ログイン項目) コマンドキーを押したままドラッグする。 右の図の状態でマウスのボタンを放すと消えます。 ※ドラッグして消せない場合も有ります。 各アプリケーションの環境設定に用意されている場合も有るので見てみると良いでしょう。
「Java BlockingQueueで遊ぶ:パイプラインごっこ」でパイプラインの話をしたので、本来の、つまりUnixのパイプやリダイレクトを少し調べてみました。 たまに話題となる some-command >file 2>&1 と some-command 2>&1 >fileの挙動の違いについて、「シェルはコマンドラインリダイレクトの指定を右から左に解釈実行する」なんて説明が見つかりました。んなバカな! パージングは左から右にするものですよ。パーズツリーを逆順にたどることはできるけど、そんなことする必然性はなんにもないよ。 次の記事を読むと、「右から左」なんて事情じゃないことが分かるでしょう。 UNIXの部屋 検索: リダイレクト シェルのリダイレクトにまつわる失敗 さてここでは、複雑なリダイレクト処理も完全に理解できる処方箋を示しましょう。例えば、次のコマンドラインが何をするか分かる
だまされたと思って1週間続けてみてください。いや、ダイエット商品のことではなくて、 あの騒々しい電気仕掛けの箱、テレビのことです。多忙なひとほど、ぜひ一週間テレビを消してみて不都合があるかどうか試してほしいのです。一週間たったころには、奇妙な開放感と、本を何冊も読む時間とともに「なんだ、見れなくて困ったのは天気予報くらいだな」と思うかもしません。 テレビだけではなく、どんな新聞を読んでいるか、どんな雑誌に目を通すのか、どんな本・映画・音楽を楽しんでいるのか、どんな人と言葉を交わすのか、どんな考えを自分に許しているのか、といった自分に対する情報入力のルートは、長期的にみたアウトプットのクオリティに大きな影響を及ぼします。 新しい年にむけた自分リファクタリングの第6のステップは、こうした Input / Output マネージメントについてです。 You are what you think
Python, ジョグ | URL にパラメータ文字列をくっつける事で簡単なグラフが作成出来る Google Chart API は手軽で便利ですね。ブログにぺたぺたと貼付ける事が出来るので、一度 URL を生成する仕組みを作っておけば楽しそうです。はてなグラフにジョグや水泳の記録をつけていて、このデータを取得出来るはてなグラフAPIが提供されていたので、 Google Chart API と連携させるスクリプトを書いてみました。 #!/usr/bin/env python # -*- coding: utf-8 -*- """ gchartclient.py Generate Google Chart API URL strings, image file by using pygooglechart from Hatena::Graph data. Require: json-py p
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く