History: added 'obi' in bash history for practical reasons

This commit is contained in:
Celine Mercier committed 2020-01-23 16:51:49 +01:00
1 parent b4b2e62195
commit 53212168a2
1 file changed
+1 -1
+1 -1
View File
@@ -259,7 +259,7 @@ cdef class DMS(OBIWrapper):
for command in self.command_line_history:
s+=b"#"
s+=command[b"time"]
s+=b"\n"
s+=b"\nobi "
s+=command[b"command"]
s+=b"\n"
return s