File: history.right

package info (click to toggle)
pydb 1.19-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 1,952 kB
  • ctags: 1,412
  • sloc: python: 3,065; perl: 2,479; sh: 586; makefile: 555; lisp: 265; ansic: 16
file content (32 lines) | stat: -rw-r--r-- 971 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
+ set history size 5
+ set history filename
*** Argument required (filename to set it to).
+ set history filename history.hst
+ show history
filename:  The filename in which to record the command history is
"history.hst".
save:  Saving of the history record on exit is off
size:  The size of the command history is 5
+ #########################################
+ # Test save on and off.
+ # Test also using short abbreviated name
+ #########################################
+ set his save off
+ set hi save on
+ list
  1  	#!/usr/bin/python
  2  ->	"""Towers of Hanoi"""
  3  	import sys
  4  	
  5  	def hanoi(n,a,b,c):
  6  	    if n-1 > 0:
  7  	       hanoi(n-1, a, c, b) 
  8  	    print "Move disk %s to %s" % (a, b)
  9  	    if n-1 > 0:
 10  	       hanoi(n-1, c, b, a) 
+ show hi
filename:  The filename in which to record the command history is
"history.hst".
save:  Saving of the history record on exit is on
size:  The size of the command history is 5
+ quit