xmonad で xmobar が隠れてしまうようになってたのは Xmonad.Hooks.ManageDocks で docks が必要になったから

最近気づいたんだけど github.com main = do xmproc <- spawnPipe "xmobar" : : xmonad $ withUrgencyHook ..... みたいな部分を xmonad $ docks . withURgencyHook .... にすればいいんだが、4年前の話やんけ

古い xmobarrc を生き返らせる | 要約: with_weather

disclaimer: xmobarrc を蘇らせる方法は明確にしたが、ドキュメント上のビルドオプションや PKGBUILD がこうなっとることの怪に関しては怪のままになっとる。以下、怪奇を信じない人向け 最近ウィンドウマネージャの管理や設定にこだわりがなくなったので、2…

AWS ECS で perf-record する方法

EC2-backed ならできた。 Fargate との compatibility は諦めてね。新しい Task 定義を作成して、EC2-backed に Service を切り替えます。 CAP_SYS_ADMINをつける これを見よ: docs.aws.amazon.com github.com docs.aws.amazon.com 要は Task definition に…

最小HTTPD Docker image (< 80kB)

ポエムパート さて、〓〓〓〓〓〓〓〓〓〓〓〓〓〓〓〓という必要から sidecar として httpd を生やすことになった一行だったが、そのために nginx.conf を書いて FROM nginx に ADD してあーしてこうして……そしてその無意味な仕事のために50MBの (alpine 版…

gentoo TV

ゆく河の流れは絶えずして、しかももとの水にあらず。淀みに浮かぶうたかたは、かつ消えかつ結びて、久しくとどまりたるためしなし。 これは鴨長明の記した方丈記の冒頭の文である。むろん、この意味は gentoo のローリングリリースはなんと無常なのだろうか…

FreeBSDのVPSのストレージのリサイズ

序 このまえもボエ〜〜〜になっていながら物体を VPS 上でビルドしようとしたところコケるんでなんやねんワレになっちゃって>バルターSSD VPS Servers, Cloud Servers and Cloud Hosting by Vultr - Vultr.com←これはアフィリエイトリンクで、お前がここから…

IO benchmark HAMMERFS @ DragonflyBSD 4.6.1 vs. ZFS @ FreeBSD 11.0 vs. btrfs @ Linux 4.9.6 (Archlinux 2017.02 live) on kvm guest + physical disk

概要 近年、どうのこうの、はい。そこで本調査では、飽きないかぎりやってきます。kvm guest でやるのは別に IO をどうのこうのとかではなく、単純にベアメタルの環境にあれこれインストールするのがだるいからです。 環境 HDD は古い余ってるやつを適当に使…

blob

光線や背景の描き込みをやっていく例

{ 下書きを書いてたはずがいつのまにかなくしていた } { 今回用に絵を描くつもりが、イケメンが大麻を吸ったりマジックマッシュルームを決めたりMDMAの生みの親とダベったりする番組みてたらあと2分になってた } というわけでとりあえず一昨日の絵の経過を貼…

最近描いた絵とその話

まず絵の一部 読者はふつうスクロールする前に帰ろうとするので、その前に非文字の一部をババーっとして過度な期待をさせるのがキャッチするコツ 0 この記事は以下のアドベントカレンダーの3日めの記事です。 www.adventar.org 序 いまのところ誰もこのアド…

秘伝のアドレス帳のこと

ガラケーがあらゆるフォーマットをぶっ壊しながら突っ走っていて、そのまわりでみんなが生まれ、そだち、そして死んでいった古き良きゼロ年代のある年末のこと。 殊勝なことに私は年賀状を人々に出そうと思って、当時持っていた京セラの小さなガラケーから m…

ご報告

今日はカレーを食べました

アラブねこ

この記事は猫写真 Advent Calendar 2015 - Adventarのやつです。撮りためた猫写真をひたすら貼っていってくだしあとのこと 猫の餌 魚市場ねこ。湾岸ねこの食文化は海産物も多いねこ。 みずたまりは涼しげアラブねこ。 きのぼりねこ。きのうえにも涼しげねこ…

bitviorでvirtio-net

[この記事はbitvisorのステマ記事です][この記事はBitVisor Advent Calendar 2015の3日目の記事として先輩に書かされました][怖い] みなさんご存知BitVisorですが、最近virtio-netに対応したことは知ってます? check it out BitVisorの最新版はbitvisor.org…

Cプリプロセサを使い、#includeディレクティブにマクロで生成したファイル名を読ませる

タイトルのとおりだが、難しいぞ。 例えば、こういうのなら簡単だ: #define _CONCAT(X,Y) X ## Y #define CONCAT(X,Y) _CONCAT(X, Y) #define HEY(X) CONCAT(X, X) #define YO yo int HEY(YO); int yoyo;になるはず。 この、一段プリプロセサの命令を使う前…

Jailでresolv.confどないすんねん問題

jail中でpkg installできないと思ったらそもそも名前引けなかったみたいな事例、普通にresolv.conf書けば治るんですが、それはそれとして Resolvconf with FreeBSD jails こういう、Jail中のresolv.confはpublic DNSにしたら?みたいなクソどうでも良い回答…

Jailから出る

jailから外にpingが打ちたいねん うちたい。 当方FreeBSD 10.2-RELEASE #0 r286666 ま、とりあえずjailたてようか mkdir -p /var/jail/hoge cd /var/jail/hoge fetch http://そこらへん/base.txz tar xf base.txz vi etc/crontab #最終行を消せ!!! ここが網…

FreeBSDにSSHしてgit diffした結果wwwww

こんな見た目になるンゴwwww 問題 何かしらないけどデフォルトの$PAGERがmoreとかいうゴミになっていた。 解決策 export PAGER=less

wpa_supplicant and WPA enterprise (like eduroam)

Like as wiki (WPA supplicant - ArchWiki) says, anyway you need to install wpa_supplicant. Then, because Networkmanager can't handle with eduroam, you'll start to thinking about connecting to it by hand. Write a configration file (eg: /etc/…

UEFI版 bitvisorのビルドの方法

Arch linux では UEFI ブートローダをビルドするのに必要な amd64-mingwなんちゃらかんちゃらmsvc-gcc を手に入れるのが地味に面倒くさくて雑な気持ちになったので、debian の docker を引っ張ってきてこんな感じにする。 apt-get update && apt-get install…

SSHのpubkeyについて

ssh-keygenで作られた公開鍵のフォーマットどないなってんねん。 RFCではこのの様になっとる: rfc4716 しかし、我々の知っている公開鍵ファイル(eg: .ssh/id_rsa.pub)はこのようになってるはずや: ssh-rsa AAAAB3NzaC1yc2EAAAABJQAAAIBTKKjXHyWP6pv+Lmf0Y3UR…

GhcModTypeが訳分からんところをハイライトする。

この記事は追記の事情により読む必要がないです。 質問 ghcmod-vimを入れて楽々Haskellライフが送れるようになりますが、 こんな風にGhcModTypeが訳分からんところをハイライトすることがあります。 さて、どうやって直すのでしょうか。 古い回答 Haskellで…

urxvtタブ健康法でこの春モテる!

みんな大好きTMUXですが 下手にタブを増やしすぎると苦しくなってきます(ショートカット + 数字が効かなくなる、など)。 気がついたらtmuxのタブが二桁近くまで増えてる人は部屋も机も散らかっていて何をやってもダメ— ルータにケーキ供えてた人 (@kamiya344…

w3m の v6 only/v4 only オプションは

v6 only/v4 only にならない。 % ip addr show : : .. eth1:

戒めと救い 知見について

養生テープは便利。 以上

hostnameが変わるとXがno protocol specifiedになる、学内LANなどが勝手にhostnameを変更してくるので頻発する。

サスペンドしてから学内を移動し接続するときに頻発するので、ACPIかIntel HD Graphicsのドライバのバグかと思ってた。 - 以上 -

2015年のGentoo初め

読むな。この先備忘録。 親の机から一番いらなそうなUSBメモリを盗んで借りてくる。 データを妹にバックアップさせる。 ここを読め Gentoo Linux ドキュメント -- Gentoo Linux LiveUSB HOWTO 実はPCが既に組んである。 アレ コレ ソレ カネ 父 Celeron G184…

今日の使える英単語: gray blobs

gray blobsとは これはどうやって拝めるの awesome, XmonadなどのウィンドウマネージャでJavaのアプリケーションを立ち上げると、まれに以下のような画面になる(マインクラフトはならない、baseXやNXP pinmux toolなどはこうなる)。 この冬、この環境変数が…

北関東の厳しい大自然

北関東の厳しい大自然とは 百科事典が詳しい。 北関東の厳しい大自然 - アンサイクロペディア 何があったのか ここ数日、氷点下かつ日が続き、期末試験で食生活を荒れていたのだが、そのような状況において、あまりにも空気が乾燥していると、人体が発火する…

ScalaでFPGAプログラミング

ScalaでFPGAプログラミングするという話。 KernelVM Kyotoでこのネタで発表したときのスライドはここ。 chisel - Google スライド 適当にLEDでカウンタを回すのん。ターゲットはDE0nanoなのん。 build.sbtとLED.scalaを書く sbt run LED --backend v 出てき…