はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Google chrome extension(拡張機能)を開発してみた | スマートネットワーク 開発ブログ
Google chromeの拡張機能について書かれた記事をよく見かけます。「Google chromeの拡張機能は開発がとてもカンタン！」ということが書かれていたので、それならちょっと作ってみようと思いました。 Google chromeのベータ版をダウンロード 以下のURLよりGoogle chromeのベータ版をダウンロードします。 Google Chrome（BETA） 開発用フォルダを準備する 好きなところに開発用のフォルダを作成します。 私はC:\work\chrome-extというフォルダを作成しました。この中に拡張機能ごとのフォルダを作成していきます。今回はhelloworldという名前の拡張機能を作ってみることにします。 必要なファイルを作成 Google chrome拡張に必要なファイルを作成します。 最低限必要なのは以下の三つです マニフェストファイル アイコン画像ファ
GNOME Doで端末を開く際のサイズを変更する - TrinityT's BLOG
GNOME Do+Terminalプラグインを使用することで任意の場所で端末を開くことが可能だが、必ずデフォルトサイズ(80x24)で開かれてしまう欠点が。(Terminalプラグインにも設定は無し。) せっかくWUXGAのディスプレイなのでもう少し大きいサイズになるように変更してみた。 手順 1. /usr/binに移動 $cd /usr/bin2. gnome-terminal（実行ファイル）をgnome-terminal.origに名称変更 $sudo mv gnome-terminal gnome-terminal.orig3. gnome-terminal（スクリプト）を以下のように作成 160x50指定＆他に引数が与えられた場合に対応するように$1${@}を指定しておく ●○▼などの記号を正常表示できるように、「VTE_CJK_WIDTH=1」、「--disable-facto
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
静岡大学学長のブログ
