2020年4月20日のブックマーク (3件)

  • 知っていると便利な gcc のオプション

    back GNU gcc を使う際に知っていると便利なオプションを挙げておきます。 注意: これが全部ではありません。gcc には、ほかにも プロセッサ依存の細かいオプションが山のようにありますが、それらは ふつうあまり利用しないので省略しました。 一般的なオプション -c, -o, -I, -g, -O, -L, -l 省略。それくらい知ってること。ちなみに -L と -l は ld へのオプションであり、順番が重要である。 -pipe 各ステージ間で情報のやりとりをするのに temporary file を使わず、 pipe を使うようにする。このオプションが Makefile などに 含まれているときは、たいてい除いたほうがよい。なぜなら、 多くのシステムでは、アセンブラ側がパイプに対応してないから。 言語仕様に関するオプション -ansi 厳格な ANSI 仕様でコンパイルする。こ

    proxy0721
    proxy0721 2020/04/20
  • unicode の east asian ambiguous 文字

    最近、 Agda を使ったりしているので agda-mode な emacs にちょっと手を出していたりします。 Agda は π やら ∀ やらの記号を容赦なく使うので、iTerm2 では agda-mode 時に emacs の表示がおかしくなることがありました。 iTerm2 の問題かと思って Terminal に戻ってきたは良いものの、今度は ∀ とかが一文字幅になってしまって表示がおかしい。 Terminal の Preferences -> Advanced -> Unicode East Asian Ambiguous character are wide のチェックを入れると解決はするんだけれど、iTerm2と同じ状況になる。 どうやら Unicode East Asian Ambiguous とやらが問題らしい。 調べてみると、∀ とかが全角なのは国によるっぽい。 特に日

    proxy0721
    proxy0721 2020/04/20
  • Macのターミナルで全角記号を綺麗に表示したかった - Qiita

    はじめに Macのデフォルトのターミナルや Iterm2 等のコンソール上で一部全角記号を表示すると挙動が怪しくなります。 echo 程度なら文字が重なって読みにくいだけで済みますが、vim等のエディタ上ではカーソルの制御が狂って意図しない挙動になったりと結構不便です。 何とかならないものかと色々と調べてみたのでまとめてみました。 環境 Mac OS: Sierra (version 10.12.6) iTerm2: 3.3.7 tl;dr iTerm2の設定は役に立たない /usr/share/locale/{locale値}/LC_CTYPE を書き換えれば解決するが、OS X 10.11 El Capitan 以降のMacの場合リカバリーモードに入らないと書き換え不可 上記以外の方法として、全角記号を半角で表示するフォントを使えば一応ごまかせる (今回はこちらで対応) なんで文字が重

    Macのターミナルで全角記号を綺麗に表示したかった - Qiita
    proxy0721
    proxy0721 2020/04/20