rlwrap smlIt is convenient to define this as an alias. You should have a file on your attu account called ".bashrc" (the dot is part of the file name). When you edit this file, you'll see a comment towards the end that indicates that you can include your own aliases. Add this line:
alias sml="rlwrap sml"Then log out and log back in and you should find that you can say simply "sml" to get the same behavior.
alias sml="rlwrap sml -Cprint.length=1000"Notice that the setting goes at the end of the alias.
alias sml="rlwrap sml -Cprint.length=1000 -Cprint.depth=20"