2
1

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

More than 5 years have passed since last update.

.adgaファイルをemacsで開いてもagda2-modeが自動的に起動しない時にすべきこと

Last updated at Posted at 2015-04-21

以下の内容を確認

  • Agdaがインストールされているか
  • agda-mode setupは済んでいるか
  • auto-mode-alistagda2-modeが追加されているか

それでもダメなら

  • 拡張子が.adgaになってないかを確認

根本的な解決策

emacsの設定ファイルに次の一行を追加

(setq auto-mode-alist (append '(("\\.adga$" . agda2-mode)) auto-mode-alist))

根本的でない解決策

mv myfirst.adga myfirst.agda を実行

2
1
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
2
1

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?