##// END OF EJS Templates
%rep fix
vivainio -
Show More
@@ -116,12 +116,12 b' def rep_f(self, arg):'
116 116
117 117
118 118 opts,args = self.parse_options(arg,'',mode='list')
119 print args
119
120 120 if not args:
121 121 ip.set_next_input(str(ip.user_ns["_"]))
122 122 return
123 123
124 if len(arg) == 1:
124 if len(args) == 1:
125 125 try:
126 126 num = int(args[0])
127 127 ip.set_next_input(str(ip.IP.input_hist_raw[num]).rstrip())
General Comments 0
You need to be logged in to leave comments. Login now