author | amit |
Thu, 28 Oct 2010 15:37:18 +0530 | |
changeset 375 | c62b166b3f00 |
parent 301 | af48ecb4dc11 |
permissions | -rw-r--r-- |
accessing history:\\ {\ex \lstinline| \%hist|} accessing particular line of history:\\ {\ex \lstinline| \%hist line_number|} accessing particular range of history:\\ {\ex \lstinline| \%hist start_line stop_line|} saving history to a file:\\ {\ex \lstinline| \%save file_path line_numbers|} running a script:\\ {\ex \lstinline| \%run -i file_path|}