elan toolchain updateがうまくできなかったときのメモ
elanのnightlyをアップデートしようとしたらうまくできなかった。 PS > elan toolchain update leanprover/lean4:nightly info:...
0
0
Comment0
8 search resultsShowing 1~8 results
Stocked
You need to log-in
rbenvのアップデートをしようとしたら何も反応がなかったときの対応
解決方法 自分の場合はoriginのURLがrbnev/rbnevのURLではなくて、sstephenson/rbenvの古いほうなのでうまく反応しなかった。 なので新しいURLに変更する。 $...
1
0
Comment0
「オブジェクト'Left'のメソッド'_Application'が失敗しました。」の解決方法
結論 Applicationオブジェクトのプロパティを使ったエラーの場合、ActiveWindow等のウィンドウのオブジェクトのプロパティに対して処理する。 Application.Left =...
1
0
Comment0
workmodeをsudoなしで実行するやり方
何ヶ月前からか、workmodeという特定サイトにアクセスを遮断して集中する環境を作るフィルタリングソフトウェアを使ってる。例えば、ニコニコ動画やはてブにかなりの時間を使ってしまう場合などそのサ...
2
0
Comment0
Emacsのモダンなライブラリ4+1選 (2013年版)
概要 この記事は.emacs Advent Calendar 2013の記事です。 (遅刻してすみません…) 自分は、最近出てきた新しいライブラリを紹介していこうと思います。 紹介するライブラリ...
95
102
Comment0
EmacsLispでデフォルト値が取れる処理の書き方
Emacs Lispでデフォルト値を有効にする方法がわからなかったのでメモしておく。 デフォルト値付きの関数を&optionalを使って定義してみる。&optionalは省略でき...
3
2
Comment1
Emacsの起動時間を短縮する方法
Emacsでlazyloadというautoloadとeval-after-loadを組み合わせたマクロを使った起動時間短縮方法について書きました。「自分のEmacsの起動が重いなー」と感じてる人...
5
3
Comment1
Emacsで他人のソースをほぼ丸写しでも問題ないかについてなんですが、
bitbucketにあるEmacsLispファイルが自分のやりたいことをまさにやっていて、とにかく自分の作りたいものを作るためにコピペをして作るか、自分の中でコードを理解してから真似る方がいいの...
2
2
Comment1
8 search resultsShowing 1~8 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles