You’re using Avy wrong. Too harsh? Let me rephrase: you’re barely using Avy. Still too broad? Okay, the noninflammatory version: Avy, the Emacs package to jump around the screen, lends itself to efficient composable usage that’s obscured by default. Without burying the lede any further, here’s a demo that uses a single Avy command (avy-goto-char-timer) to do various things in multiple buffers and
[ ホーム | 講義 ] 2020年度後期・数理解析・計算機数学 II (同 概論II) レポート課題 レポート課題 提出期限 2021年1月27日(水) (1月13日10時45分訂正) 講義予定 シラバス 1回目（10月7日1限）の教室は多元109号室に変更 2回目以降も多元109号室で講義を行う 第1回10月 7日 Coq/SSReflectの論理 講義メモ 資料 EmacsでCoqを使う 設定ファイル coq.emacs (.emacs にコピーす る) 第2回10月14日 述語論理とSSReflectのタクティック 講義メモ 第3回10月21日 再帰的な定義と帰納法 講義メモ 第4回10月28日 帰納的な定義と多相性 講義メモ 第5回11月4日 Mathcomp, 自己反映と単一化 講義メモ ssrbool_doc.pdf, ssrnat_doc.pdf (R. Affeldt の
The people who live in a Golden Age usually go around complaining how yellow everything looks. – Randall Jarell Yesterday I wrote that I think Emacs is currently experiencing its (second) Golden Age.1 Today I’ll expand on this and I’ll offer my perspective on the reasons and factors that lead to it. The Road to Success Yesterday someone mentioned on X the following: I think @emacs was kind of revi
By Colin Woodbury on 2021-08-17, updated 2021-08-21 I recently contributed a new Elisp function to the "Files" API of upstream Emacs. Being more than just a typo fix, this threw me into the deepend of their entire dev process. This article explains their mailing-list-based workflow from start to finish in the age of Github and Pull Requests. It was actually pretty smooth! Keep in mind that if you
実際の設定はこんな感じ。org-captureの (function) オプションを利用して書き込み先のバッファとカーソル位置を選択、 書き込み先のサブツリーは事前に (org-code-capture--store-here) でマークしておく。 ファイルリンクをコメントアウトしているのは、外部に公開するときはローカルのファイルパスを公開しても意味がないため。 ローカルではコメントアウトされたリンクでもジャンプできるので問題なし。 (defconst ladicle/org-journal-dir "~/Dropbox/org/journal/") (defconst ladicle/org-journal-file-format (concat ladicle/org-journal-dir "%Y%m%d.org")) (defvar org-code-capture--store-
Emacs 29以降の設定方法 Emacs 29以降の設定方法は こちら の記事で説明しています！ Tree-sitterとは Tree-sitter自体はパーサ生成ツールと、かつそれを利用して作成された様々な言語のパーサのセットのようです。 Tree-sitterのパーサを利用することで高速かつ正確なシンタックスハイライトを適用することができます。 AtomではTree-sitterをベースにしたシンタックスハイライトシステムを使用しているようです。 emacsではELisp Tree-sitterというEmacs Lispバインディングパッケージを通じてシンタックスハイライトを適用できます。 Tree-sitterそのものについての解説は下記の記事がわかりやすかったです。 インストール インストール手順に則ってElisp Tree-sitterパッケージを追加します。 併せて、tree
注意この記事はPHPerKaigi 2024のパンフレット記事です。A4ページ4枚程度の量を書いています。 書面での掲載につきハイパーリンクがないことをご了承ください。 https://fortee.jp/phperkaigi-2024/proposal/161b2ec9-c279-4336-8e17-1aa054dacae9 PDF版はこちらです。 Introductionプログラミング言語は日進月歩で進化し続けています。 処理系のパフォーマンス改善、既存のバグ修正、挙動の変更などさまざまな変更が入るが、ユーザーにとって一番影響があるのは「新規の構文追加」ではないでしょうか？ PHPの場合PHP 8.0以降にmatch式やenum構文は直近5年以内に追加されたものです。 PHPに限らずほか言語のRFCでも新規の構文が提案されている例は枚挙に暇がありません。Goのジェネリクスなどもその一例
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
916 days of Emacs Poof I made my free-time disappear - Ellis Kenyő, on being called an "elisp mage" Little did I know on the fateful day of [2020-10-09 Fri], when I had installed GNU Emacs. I wasn’t thinking about the ethical aspects of free software, the aesthetics of Lisp, or these other things with which an occasional layperson might explain how an almost half a century old program can still be
Emacs has a reputation for being borderline unusable out of the box, of being bloated but somehow surprisingly bare. This is largely a discoverability problem1. The solution the Internet has settled on seems to be “Emacs distributions” like Doom, Spacemacs or Prelude that glue together dozens (sometimes hundreds) of addons to deliver a batteries included, finely tuned and user-friendly experience
はじめに# 去年, Zettelkastenを知り, Org-roamを使い始めて１年が経った. 日本語のツェッテルカステン解説本(TAKE NOTES!)を読んで考えたこと | Futurismo これはわたしにとってLife Changing なアプリとなったが, 日本語情報が少ないからか, いまいち流行っていないように思う. なので, 1周年を記念して, 感想とTipsをいったんまとめておいて魅力をアピールしたい. なお, 基本的な機能は書かないつもりだ, エモい(!=キモい)ポエムを書く. というのも, Org-roamの機能についてガッツリ調べたのは１年前であり, ワタシの知識は古い可能性がある. なので, 1年分の独自の思いとTipsを一旦吐き出す. なお, 元ネタはOrg-roamに書き溜めているものを切り出す. Org-roamの魅力# わたしはObsidianやLogse
背景 【2023年1月7日】大幅に更新しました。 こんばんは。Emacs歴２年の初心者です。 これまで入力補完にはcompanyを使用していましたが、corfu＋capeが想像以上に良かったのと、設定に関する日本語記事があまりなかったので書いてみました。 corfuに興味のある方の参考になれば幸いです。 前提条件 corfuはEmacs27以上が必須になります。 また、CUI版Emacsでは使用できません。 corfu-terminalを利用するとCUI版でも使用できます。 セットアップ 今回設定するパッケージは下記のとおりです。 corfu cape orderless prescient kind-icon corfu-doc corfu 本体に統合されました。（corfu-popupinfo） yasnippet tempel lsp-mode corfu まずは基本となるcorfu
皆さんはChatGPTのある生活を楽しんでますか？ EmacsでもVSCodeに少し劣るかもしれませんが、簡単にChatGPTを導入することができます。 LTでネタに困ったらEmacsの話題に限りますね。 EmacsのOpenAI公式レポジトリはこちらです。 https://github.com/emacs-openai Straightが導入済みであれば、設定は簡単です。 未設定の方はおすすめですので設定しましょう。 https://github.com/radian-software/straight.el ~/.emacs.d/init.el (use-package openai :straight (:host github :repo "emacs-openai/openai")) (use-package chatgpt :straight (:host github :re
ちょっと前にこんな記事を書きました。 Emacs で ccls 導入して競プロ あれから、lsp-mode を使ってコードを書いていたんですが、 補完が効いたり効かなかったり、エラーが出たり出なかったり、 あまり使い勝手がよくありませんでした。。。 そこで、 lsp クライアントを lsp から Eglot に乗り換えることにしました そしたらめちゃめちゃ快適にコーディングできるようになったよというお話です。 現環境 lspクライアント Eglot 設定済み言語 C/C++ Python Rust C/C++ サーバ : clangd (llvm インストール時に自動で入る) 補完、エラーの表示をさせている プロジェクトのルートディレクトリに compile_flags.txt を置いて、コンパイルオプションを指定しています。 -Wall -Wextra -pedantic -std=c+
Let’s Write a Tree-Sitter Major Mode Creating a standard programming major mode presents significant challenges, with the intricate tasks of establishing proper indentation and font highlighting being among the two hardest things to get right. It's painstaking work, and it'll quickly descend into a brawl between the font lock engine and your desire for correctness. Tree-sitter makes writing many m
corfuおよび関連するパッケージの設定をメモとして残す。 corfu ... companyパッケージの代わり。カーソル位置での補完UIを提供。 vertico ... ido-vertical-modeやivy, selectrumの代わり。ウィンドウ下部（ミニバッファ）で垂直表示な補完UIを提供。 consult ... counselの代わり。補完入力を活用し、他のコマンドをラップした便利なコマンド群を提供。 marginalia ... consultに表示される候補に「補助情報」を追加する（ファイル属性、ファイル更新日、ファイルサイズなど）。 orderless ... 補完候補の絞り込みに活躍。「イニシャル入力」などにより高速かつ柔軟な候補絞り込みを実現。 cape ... corfuとの組み合わせが前提。カーソル位置での補完対象が拡張される。 kind-icon ... c
Emacsをあまりヘビーに使っていないし、できれば標準のものだけで済ませたいと思ってパッケージマネージャを el-getから標準ツールに移行した。前から考えていたんだけど、MELPAなどに登録されていないパッケージをいくつか使っていてそれで el-get使っていたんだけど、Emacs29から use-packageが標準パッケージ化、さらに package-vc.elも加わり、使い勝手はさておき移行は可能になったので移行してみた。(el-getが開発中の Emacsで動かない問題がありそのパッチが全然マージされないなどの理由もある) package-vcは以下のようなシグネチャで url に git repositoryなどを渡せばそれをパッケージとして使える (package-vc-install url rev nil name) use-packageと組み合わせて使う 以下のような
はじめに Emacsのeinというパッケージを用いることで、EmacsからJupyter Notebookを編集し、表示することができる。 実行イメージは以下の通りである。 ein（emacsからjupyter）は便利なのでぜひ pic.twitter.com/yBeAucc1n7— mat (@ballforest) August 21, 2020 Emacsから直接Jupyter Notebookが編集できるので、ブラウザにはない各種補完機能やカーソルジャンプ、undoなど充実したEmacsの編集機能を継承して使えるので便利ということである。 本記事ではその設定をメモしておく。 事前準備 1. jupyterをインストール pip3 install jupyter 2. MELPAからeinをインストール（必須） M-x package-install RET ein RET 設定 (
長い歴史を持つ多機能テキストエディタ「Emacs」。 高いカスタマイズ性が特徴ですが、設定ファイルの記述は複雑になりがちで、Emacs初心者にとっては高いハードルとなっています。本日紹介する「Emacs for You (Emfy) 」は、そのようなEmacs入門者の方に役立つ、小さくシンプルな.emacsファイルを提供するプロジェクトです。 Emacsの設定方法と、Emacsを使い始めるために必要な詳細な説明、Emacsサーバーを起動してファイルを編集するためのemという小さなコマンド等を提供しています。 以下使用方法を説明します。 Emacs for You (Emfy)こんな人向け EmfyはEmacsの全くの初心者や、Doom EmacsやSpacemacsなどのスターターキットを進められたものの、バニラEmacsからゆっくりとカスタマイズしていきたいユーザーのためのものとされてい
Emacsについてなら何でも大丈夫です! 今年はEmacs27.1がリリースされた、めでたい年です。 みなさんのtipsを共有しましょうー! 来年こそはEmacs入門するぞという方はこちら「2020年代のEmacs入門 - EmacsJP」 初心者から玄人まで、様々な方の記事を歓迎します! 過去のアドベントカレンダーのリストです。 Emacs Advent Calendar 2019 Emacs Advent Calendar 2018 Emacs Advent Calendar 2017 Emacs Advent Calendar 2016 Emacs Advent Calendar 2015 Emacs Advent Calendar 2014 Emacs Advent Calendar 2013 Emacs Advent Calendar 2012 (Emacs Advent Cal
5-minute to read Published: May 26, 2020 Updated: May 26, 2020 元記事のアーカイブのアーカイブ。なにか問題があれば教えて下さい。以下、アーカイブ。 基本的には Emacs Lisp の Info を読むと何となくパーツはそろっていることは分かる。 ただ、パーツが特殊だったりしてよく使い方を忘れるのでよく見る情報をメモ。 基本的情報源以下の情報はローカルにブックマークするなどして即引けるようにしておくと便利。 Info 4 Strings and Characters文字列と文字文字列の操作、比較、変換などInfo 32.2 Examining Buffer Contents31.2 バッファの内容を調べるバッファの文字列取得Info 32.19 Text Properties31.19 テキスト属性テキストプロパティ（テキスト属
Author: tkita Published: 2020-09-10 Last Modified: 2020-10-02 GitHub Source: md はじめに Emacs でかなや漢字を入力する方法は、標準で同梱されている LEIM や、Google 日本語入力のオープンソース版である Mozc など複数の方法があります。Windows で Emacs 27.1 以降 をお使いであれば tr-emacs-ime-module を導入することで普段から使い慣れている MS-IME を利用することができます。 いろいろ試して好みのものを選択するのが良いと思いますが、選択肢のひとつとして SKK というソフトウェアもあります。 このページでは、これから SKK を試してみようと考えている方を対象に、SKK を使った日本語入力とはどのようなものなのかといった基本的な操作方法を紹介してみよ
Home Deno/Javascript Webrender Dynamic modules FAQ Native Hackers Handbook emacs-ng# A new approach to Emacs homepage • Deno/Javascript • webrender • ng-module • handbook • faq Intro# emacs-ng is based off of the master branch of emacs, and regularly merges using Github Actions(Runs at 00:00, only on Saturday). The last merged commit is fad7109e52 (06 30 2024). Motivation# The goal of this fork is
GNUは現地時間2022年4月4日、GNU Emacs 28.1をリリースした旨をメーリングリストで報告した。大きく機能を改善したバージョン27.1は2020年8月、軽微な仕様変更を加えたバージョン27.2は2021年3月にリリースしているため、約2年ぶりのメジャーバージョンアップである。ソースコードはGNUのメインFTPやミラーFTP、近くのミラーFTPからダウンロードできる。 WSL上で動作するGNU Emacs 28.1 GNU Emacs 28.1は、Unicode 14.0のサポートやLispファイルのネイティブコンパイル機能、バージョン27.1からサポートしたHarfBuzzを使用したテキストのシェーピングに加えて、Cairoライブラリーのサポートも追加した。また、プロセスを分離して安全性を担保するseccomp(Secure Computing filter)や、mouse-
Yet another entry for tree-sitter. For those new here, I have blogged previously about using tree-sitter here and here. Here is another installment of how I use tree-sitter to simplify/speed up things for me. In this installment we are going to see how we can use tree-sitter to easily navigate around config files. When having to navigate through huge config files there are two problems that I usua
Mastering Emacsという本には、有志による日本語版が存在していますが、公式のページには具体的な入手方法の記述がありません。 If you own my book, you can download the translated version for free. という記述があるのみで、ネットを少し探したのですが他の方の解説も見付からず。 今回、実際に入手したので、入手方法を書いておきます。 英語版を購入すると、本のデータをダウンロードするページに飛べるようになります。 そのページに英語版のPDF版、ePub版のダウンロードリンクと並んで、日本語版ePub版のダウンロードリンクがあります。そこからダウンロードするだけなので、実質英語版の入手方法と同じです。 別途、日本語版のダウンロードページがあるのかと思ったのですが、特にそんなものはないようです。 安い買い物でもないので、せっ
Emacs Advent Calendar 2020 の 4 日目の記事です。 12/8： company-tng の存在を教えてもらったので追記しました なにをやったの Emacs のリアルタイム補完エンジン二大巨頭として auto-complete, company があると思いますが、私は Emacs を使い始めた頃からずっと auto-complete のお世話になっていました。 しかし最近は company の方が開発が活発になりつつある印象もあるので、思い切って company に切り替えてみました。 移行してみたざっくり感想ですが、いいところとしては： やや動作が軽い backend, frontend, transformer など補完エンジンの各パーツがプラガブルな設計になっていて良い いまいちなところとしては： auto-complete に慣れていると、細かいところで
Introductionこの記事はVim駅伝の2024-01-24の記事です。 前回の記事はyasunoriさんの「Vimを勧めるときのすヽめ」です。 私にとっての2023年はorg-modeの年でした。 org-modeで実現できることは何があるのかと、自分にとってのorg-modeはなんなのか、ということに腰を据えてちゃんと向き合えたので実際に取り組んだことを記事にしておきます。 Emacsとの出会いと使えるようになるまで私のEmacs歴は6年程度で、takeokunn/.emacs.d のfirst commitは Sat Nov 3 18:15:51 2018 +0900 です。 もともとSublime Textを使っており、Emacsを使い始めたきっかけはハッカーと画家でした。 ハッカーと画家にLispのすばらしさが書いてあり、Lispを書くならEmacsだろうということで安易な
Macに最適なEmacsを選びたいと思います。 というのも新しくMac miniを購入したからで、これにインストールするEmacsです。 以前にMacbookを購入したときにも、Emacsについていろいろ調べて、 結局、自分でビルドしてインストールしたのですが、 なぜそうしたのか？どのようにインストールしたのか？ などはほとんど覚えていません(>_<) そのため、今回、改めて一からEmacsを選び直します。 なお付け加えておくと、MacbookのEmacsは不満もなく快適に使えています。 最適なEmacsの条件 まず、選ぶにあたってどんなEmacsが良いのか考えます。 私の場合、最適なEmacsとして次を条件として挙げました。 本家GNU Emacsと同じ操作感であること。 できればインストールは簡単がいい GUIが使えること。 OSのIMEで快適に日本語入力ができること。 OSのIMEが
この記事は Emacs Advent Calendar 2023 の11日目の記事です。 こんにちは。 一昨年の Emacs Advent Calendar 2021 の私の記事では、Emacsで lsp-mode を用いたPython開発環境を紹介しました。 しかし、この2年で開発環境に変化がありましたので、2023年度版ということで紹介していきます。 大きな違いは lsp-mode から Eglot に変わったことと Ruff を使い始めたことです。 一昨年の記事と被る部分も多くありますが、この記事だけで Emacs の設定を完結できるように重複部分も記載しておきます。 少しでも読んだ方の参考になると嬉しいです。 Python自体の開発環境 まず、Python自体の開発環境は、rtx、pipx、poetry を用いて構築します。これらによって、プロジェクトごとに開発環境を分離しています
背景 Emacs 27 で tab-bar-mode と tab-line-mode が追加されました。機能紹介としては、 Emacs27で追加されるタブ機能について が GIF 付きで良かったです。 tab-bar-mode は、ウィンドウの配置を記憶する『タブ』を提供するシンプルな機能です。外部パッケージの elscreen, eyebrowse, persp-mode などは、同等以上の機能を提供するようですが、 tab-bar-mode は組み込みなので、最初の導入には良いと思いました。 tab-bar-mode 導入後 centaur-tabs, neotree と合わせて、次のような見た目になりました: ターミナル上なので、 tmux の pane も使っています。 tab-bar-mode はウィンドウの配置を記憶します。 centaur-tabs はバッファをグルーピングし
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Try Mastering Emacs for free! Are you struggling with the basics? Have you mastered movement and editing yet? When you have read Mastering Emacs you will understand Emacs. It’s that time again: there’s a new major version of Emacs and, with it, a treasure trove of new features and changes. Notable features include the formal inclusion of native compilation, a technique that will greatly speed up y
This is yet another follow-up post in the Emacs configuration series, which is also about Tabs. The previous post was about how tabs behave when you close them, and how I think the algorithm can be improved. This post is more about visuals and horizontal space management. By default tabs in Emacs are named after their respective buffers. This is how tabs look with my configurations and default nam
mhatta's mumbo jumbo Just another WordPress site, really. In Japanese.
Web開発の心強い味方と言えば、Chrome開発者ツール ページ内の要素を書き換えできり、 要素のスタイル(CSS)を変えたり、 ユーザーエージェントを変えたり、 コンソール内でスクリプト実行したり、 これを使うとWebアプリ開発が本当にはかどりますね。 でもAndroid実機だと開発者ツールが使えないのが不便（困る） PC版にも エミュレーター機能があるけど、アレは役不足力不足です。 ※ 「役不足」って違う意味だった。コメント訂正感謝です。 そこで自分用メモも兼ね、Android実機で開発者ツールを開く手順をメモしておきます。 手順１．まずAndroidとパソコンをUSB接続 最初にすべきは Android と パソコンをUSB接続すること 単純に専用のUSBケーブルを用意し、 パソコン（ここではWindows）とAndroid実機をつなげるだけでＯＫです。 ただし、USBケーブルは必ず
はじめに avy-migemoを使わずにswiperやswiper-isearchをmigemo化することに成功した偉大な先人がいる： これらの記事では、ivyに食わせるmigemo的な正規表現を生成する関数を独自に定義している。 そして、これらの設定を適用したのち、swiper-isearchを実行したところ、以下のエラーに遭遇した。 Error in post-command-hook (ivy--queue-exhibit): (invalid-regexp "Unmatched ) or \\)")この原因は以下の設定をしていたことにあった： (setq search-default-mode #'char-fold-to-regexp) そこで以下のように修正することで、エラーは解消され、件のmigemo化が実現できた。 (setq search-default-mode nil
GNU Emacs ManualAn extensible, customizable, free/libre text editor — and more.
☆ はてなブックマーク用のconsultコマンドを作っている これはemacs Advent Calendar 2021の25日目の記事です。 minad氏による、Emacsの最近のパッケージの一つ、consultをすごく気に入ったので、自分のはてなブックマークを検索するパッケージを書いています。 https://github.com/Nyoho/consult-hatena-bookmark です。 はてなブックマークはソーシャルブックマーキングサービスです。 ソーシャルなので、ブックマークするときだけでも他の人のコメントを見て勉強になります。 そんな一期一会な使い方も面白いですが、ストックしていくものとしても便利です。そこで欲しくなるのが「自分のブックマークを全部検索する」機能です。実は、サイト上でもできます。これがEmacs上でもすばやくできたら楽だし楽しいなと思います。 couns
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く