Add idrsi2 alias
This commit is contained in:
parent
e0b4b61e8a
commit
cb4fc26934
|
@ -221,6 +221,7 @@ with lib; {
|
||||||
cat = "bat";
|
cat = "bat";
|
||||||
dig = "dog";
|
dig = "dog";
|
||||||
df = "duf";
|
df = "duf";
|
||||||
|
idris2 = "rlwrap -s 1000 idris2 --no-banner";
|
||||||
};
|
};
|
||||||
# Custom configuration
|
# Custom configuration
|
||||||
interactiveShellInit = ''
|
interactiveShellInit = ''
|
||||||
|
|
Loading…
Reference in New Issue