Diary over Finite Fields

515ひかるの日記と雑文

Linux

Linux を使い始めた経緯

かつて書かなかったことも含めて僕がプログラマになった経緯でも書こうかと思う。職業がプログラマになった理由ではなく、なんかテキストエディタを趣味でいじいじしたりいろんなツールを試すのが習慣になったきっかけについて、だ。

気がついたら Emacs の Haskell を勉強する環境が整っていた話

どうも, 515 ひかるです. なぜか知らないけれど, 気がついたら Emacs の環境が整っていたので何をしたのか書きます.

Firefox の開発者用について

Firefox Developer Edition ずっとArch LinuxでFirefox Developer Editionを使うにはどうすればいいのかわからなかったんだけど, 普通にインストールできた. そんなに欲しいわけでもなかったからか, ずっとArch Wikiを見ていなくて, 普通にFirefoxのWikiを見…

Twitter に NowPlaying するコマンドを作った

#NowPlaying "青春の瞬き" by 椎名林檎 from "逆輸入 ~港湾局~"— ひかるん(22) (@515hikaru) 2015, 12月 29 こんな風に #NowPlaying するシェルコマンドをつくった. Tweet する方法はこちらのを(ほぼ)そのまま使わせていただいた. qiita.com Python の Twitt…

小ネタ集

小ネタ集. .gitignore を作るときに無意識にしていたこと 最近よく grep をする. たとえばこの間の Advent Calendar を書くのに作ったテストディレクトリを git init してみる. % git init % git status On branch master Initial commit Untracked files: (…

\usepackage{gnuplot-lua-tikz} について

gnuplot のとこにスタイルファイルがあってもそりゃ参照されないわなって話です. qiita.com この記事の方法を試してみたかったので, サンプルコードまんま書いて, platex main.tex をしてみたけどうまくいかない. どうも \usepackage{gnuplot-lua-tikz} に失…

なんとなく GUI が逝かれた原因がわかったので書き残しておく

先日, GUI が自動起動しないので困っている旨を書いた. hikaru515.hatenablog.com 大体, 原因はわからなかったけど理由はわかったので書いておく. 走り書き. キーボードだけど. 死んでいたものを勘違いしていた X が死んでいる, つまり X が起動しないものだ…

GUI が逝った件

GUI が逝っていた. startx ができなくて死んでいた(いまもできないけどなんか GUI を立ち上げることには成功した)— 515ひかる (@515hikaru) November 21, 2015 なんかようわからんのだが, 今は起動するのでとりあえず次のようにして使っている. とりあえず普…

比較的まともな YaTeX のインストール方法

YaTeX という Emacs というエディタのプラグインがあるんだけど, YaTeX のインストール方法で調べると古い情報が出てきたりするので, 少なくとも古くはない Emacs のパッケージ管理と, YaTeX の設定 Tips みたいなものをまとめておきます. 一応 Emacs を操作…

PHP のためのローカル環境メモ.

諸事情で PHP を書く機運が高まっているので, PHP のローカルでの環境をメモしてみる. たぶん Arch Linux 系統の OS なら全部同じ方法でいけます. たぶん. 自分は Antergos でやりました. この記事では, Apache, Twig についてのみ書きます. Apache PHP 本体…

シェルプログラミング実用テクニックを買った

『シェルプログラミング実用テクニック』 という本を買った. シェルプログラミング実用テクニック (Software Design plus)作者:上田 隆一出版社/メーカー: 技術評論社発売日: 2015/05/15メディア: 大型本 別にシェルスクリプトが大好きというわけでもないの…

Antergos にしたので Emacs が復活した

錯覚かもしれないが, 慣れない環境よりは慣れてる環境の方が適応も早く作業もスムーズな気がする. やはり Windows10 を捨てて Antergos をインストールしたのは間違ってなどないんだろう. たぶん.そんなわけで Antergos 生活が始まってはや幾日. なかなか楽…

Coq と Proof general をインストールした

せっかく Antergos をインストールしたのだからもっとそれっぽい話でも増やすべきなのかもしれないが, 今の所特に思い浮かんでいない. こんにちは515ひかるです.なんか壁にぶち当たって解決したら記事にしようかと思っているのだけれど, そもそも壁にぶち当…

Antergos をインストールしたらしい.

どうも, このツイートくらいまでは記憶があるのだけれどそれ以降はあいまいだ.暇だと OS をインストールしたくなる病気なんだよね— ろくな人生じゃねえ (@515hikaru) 2015年10月17日 正直に言うと, 私にも何が起きたのか良くはわかっていない. しかしさっき…