author | bhanu |
Fri, 12 Nov 2010 00:59:21 +0530 | |
changeset 492 | de1998c3791e |
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|}