##// END OF EJS Templates
add $include /etc/inputrc to suggested ~/.inputrc...
add $include /etc/inputrc to suggested ~/.inputrc If a user doesn't add this include, their terminal will lose many userfull readline features defined in /etc/inputrc
drevicko -
r9869:f550af49
Show More
Name Size Modified Last Commit Author
/ ... / notebook / static / codemirror / lib / util
closetag.js Loading ...
dialog.css Loading ...
dialog.js Loading ...
foldcode.js Loading ...
formatting.js Loading ...
javascript-hint.js Loading ...
loadmode.js Loading ...
match-highlighter.js Loading ...
multiplex.js Loading ...
overlay.js Loading ...
pig-hint.js Loading ...
runmode.js Loading ...
search.js Loading ...
searchcursor.js Loading ...
simple-hint.css Loading ...
simple-hint.js Loading ...
xml-hint.js Loading ...