mirrors/xonsh
1
0
Fork 0
mirror of https://github.com/xonsh/xonsh.git synced 2025-03-05 17:00:58 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

-f option for datetime format

Browse source
This commit is contained in:
Konstantinos Tsakiltzidis 2016-08-04 15:22:19 +03:00
parent 115cf7cd18
commit f5f83ea3a0
1 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
xonsh/history.py
View file

@ -353,6 +353,8 @@ def _hist_create_parser():
help='show only commands before timestamp')
show.add_argument('+t', dest='start_time', default=None,
help='show only commands after timestamp')
show.add_argument('-f', dest='datetime_format', default=None,
help='the datetime format to be used for filtering and printing')
show.add_argument('session', nargs='?', choices=_HIST_SESSIONS.keys(), default='session',
help='Choose a history session, defaults to current session')
show.add_argument('slices', nargs='*', default=None,
@ -411,7 +413,7 @@ def _hist_filter_ts(commands, start_time, end_time):
yield cmd
def _hist_get(session='session', *, slices=None,
def _hist_get(session='session', *, slices=None, datetime_format=None,
start_time=None, end_time=None, location=None):
"""Get the requested portion of shell history.
@ -440,11 +442,11 @@ def _hist_get(session='session', *, slices=None,
if start_time is None:
start_time = 0.0
else:
start_time = ensure_timestamp(start_time)
start_time = ensure_timestamp(start_time, datetime_format)
if end_time is None:
end_time = float('inf')
else:
end_time = ensure_timestamp(end_time)
end_time = ensure_timestamp(end_time, datetime_format)
cmds = _hist_filter_ts(cmds, start_time, end_time)
return cmds
@ -458,7 +460,7 @@ def _hist_show(ns, *args, **kwargs):
slices=ns.slices,
start_time=ns.start_time,
end_time=ns.end_time,
**kwargs)
datetime_format=ns.datetime_format)
except ValueError as err:
print("history: error: {}".format(err), file=sys.stderr)
return