sanchayanmaity/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

fish: functions: Add an alias to coqtop

Browse source 
Wrap coqtop in rlwrap and create an alias for that.
This commit is contained in:
Sanchayan Maity 2022-01-07 20:39:57 +05:30
parent 0f51ccdf6b
commit e3d3e8b986
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
fish/.config/fish/functions/coqtop.fish Normal file
View file

@ -0,0 +1,3 @@
function coqtop
rlwrap coqtop $argv
end