2012-06-01から1ヶ月間の記事一覧

Emacsで選択範囲の改行を置換する方法

検索する限りでは、M-x replace-regexpや M-x query-replace-regexpなどを使ってC-q C-jで置換する方法以外で、スクリプトとして置換するやり方はほとんどなかったみたいだった。かろうじてStack Overflowに自分がやりたいことを書いてくれているものがあっ…

Coqのコメントアウトの方法

Coq

ドキュメントによると (* コメントアウトは (* と *) で囲む *) (* (* ネストもできるらしい *) *)Cみたいな一行コメントアウトの // は見当たらなかった。こういうのがあると、サッとコメントアウトするときは便利なのだけれど。めんどくさいのでsmartchrと…

error: no macro name given in #ifndef directiveってなんだという

NXT C

make allしたら盛大にエラーが出てきた。 $ make all Compiling Source/ColorDetector.c to ColorDetector.o In file included from Header/ColorDetector.h:5, from Source/ColorDetector.c:1: Header/LightSensor.h:3:8: error: no macro name given in #i…

バッファのある一行の文字列を取得する

アクセス解析を見てた時に、buffer-substringで行の取得の仕方を検索してた人がいた。そういえば行の取得の仕方を書いてなかったので書いてみようと思う。 やり方 test-string1 ;; <-ここの行にカーソルがあったとする test-string2 ;;(point-at-bol) 現在の…