chiark / gitweb /
editor: better ways to find the bedstead executable.
authorSimon Tatham <anakin@pobox.com>
Sun, 13 Oct 2024 09:50:37 +0000 (10:50 +0100)
committerBen Harris <bjh21@bjh21.me.uk>
Sun, 13 Oct 2024 14:04:53 +0000 (15:04 +0100)
commit4ce96879d8c384bf0fc44705f778c39947d6564f
treeb49fec9d7d6ff7254d6f04d97ef7074036426958
parent384c5a305c305e6d7075b68431bcf64cce38fe1c
editor: better ways to find the bedstead executable.

Previously the editor just expected to find it in your cwd. Now by
default it looks in the same directory as its own script, which means
you can run it from some other directory.

Also, I've provided a command-line option to override the default, in
case you keep the executable somewhere else again.
editor