mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-10-26 18:02:24 +03:00
Typo
Fixed "permanently"
This commit is contained in:
parent
e4d006a53d
commit
dfbd38f3f5
@ -220,7 +220,7 @@ following command::
|
||||
source <(idris --bash-completion-script `which idris`)
|
||||
|
||||
|
||||
To enable completion permenatly you must either:
|
||||
To enable completion permanently you must either:
|
||||
|
||||
* Modify your bash init script with the above command.
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user