Email Gateway (Aug 18 2022 at 20:25): Email Gateway (Aug 18 2022 at 20:25):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi all,
if you want to have rudimentary command completion for Isabelle in bash,
source the attached script in your ~/.bashrc.
If there are enough enthusiasts, I could incorporate this into the
distribution.
I do not recommend anybody to dive into this command completion
business, e.g. this bulk is needed
if (( ${COMP_CWORD} == 1 ))
then
[…]
else
cur="${CURRENT}" && _filedir
fi
just to recover the well-known behaviour of directory-sensitive filename
expansion for the different subcommands.
And the steps for installing are not really modular.
Cheers,
Florian
install-completions
signature.asc
Last updated: Apr 20 2024 at 08:16 UTC