Import your best Leonard Nimoy documentary voice and get ready for the xonsh tutorial
on history
.
Most shells - bash foremost among them - think of history as a linear sequence of past commands that have been entered into the terminal. This is saved when the shell exits, and loaded when the new shell starts. But this is not longer how the world works.
The world is a messy, asynchronous place. We usually have at least as many terminals (and shells) open at a time as we can practically handle - and probably even more! In xonsh, history acknowledges that this is the case. Instead of a single history file of inputs, xonsh implements a collection of JSON-formatted history files that can be thought of as having the following structure:
{'env': {...}, # Environment that xonsh was started with
'sessionid': str, # UUID4 for the session
'ts': [start, stop], # start and stop timestamps for session [s since epoch]
'locked': True, # boolean for whether the file is in use or not
'cmds': [ # array of commands
{'inp': str, # input command
'ts': [start, stop], # timestamps for the command
'rtn': int, # command return code
'out' str, # stdout and stderr of command, for subproc commands
# this is only available on Linux. Off by default.
},
...
],
}
This rich set of data allows xonsh to do much more advanced inspection and manipulation. The sessionid, locking, and one-file-per-shell ideas allow for there to be multiple instances of xonsh running at the same time without competing and overwriting history constantly. Of course, an external process deleting a history file can still cause problems. But hey, the world and the file system are messy places to be!
Often by the time you know that you need a historical artifact, it is already too late. You can't remember:
- the input exactly,
- you think that you remember the output but when you rerun the command what you get now seems somehow different,
- who knows what the return code was,
- and whatever command you ran right before is now lost in the mists of time!
So the reasons for having rich history are debugging and reproducibility. Xonsh takes the
guess-work out of the past. There is even the ability to store all of stdout, though this
is turned off by default.
If history was just a static file, it would be more like a server log than a traditional
history file. However, xonsh also has the ability to replay
a history file.
Replaying history allows previous sessions to act as scripts in a new or the same environment. Replaying will create a new, separate history session and file. The two histories - even though they contain the same inputs - are then able to be diff'ed. Diff'ing can be done through xonsh custom history diff'ing tool, which can help pinpoint differences stemming from the environment as well as the input/output. This cycle of do-replay-diff is more meaningful than a traditional, "What did I/it/the Universe just do?!" approach.
Of course, nothing has ever stopped anyone from pulling Unix tools like env
, script
,
diff
, and others together to deliver the same kind of capability. However, in practice,
no one does this. With xonsh, rich and useful history come batteries included.
All xonsh history inspection and manipulation goes through the top-level history
alias or command. If you run this without an action
argument, it will default to
the show
action, see below.
>>> history
Also note that the history object itself can be accessed through the xonsh built-in variable
__xonsh_history__
.
The show
action for the history command mimics what the history
command does
in other shells. Namely, it displays the past inputs along with the index of these
inputs. This operates on the current session only and is the default action for
the history
command. For example,
>>> 1 + 1
2
>>> history show
0 1 + 1
>>> history
0 1 + 1
1 history show
Note
History is zero-indexed; this is still Python.
The show command can also optionally take as an argument any integer (to just display that history index) or a slice (to display a range of history indices). To display only the even indices from above, you could write:
>>> history show ::2
0 1 + 1
2 history
In the future, show
may also be used to display outputs, return values, and time stamps.
But the default behavior will remain as shown here.
Each xonsh history has its own universally unique sessionid
. The id
action is how you
display this identified. For instance,
>>> history id
ace97177-f8dd-4a8d-8a91-a98ffd0b3d17
Similarly, each xonsh history has its own file associated with it. The file
action is
how you display the path to this file. For example,
>>> history file
/home/me/.local/share/xonsh/xonsh-ace97177-f8dd-4a8d-8a91-a98ffd0b3d17.json
Note that by these files are stored in $XONSH_DATA_DIR
environment variable. This
is, by default, set to the xonsh
dir inside of the free desktop standards
$XDG_DATA_HOME
environment variable. See
this page for
more details.
The info action combines the id
and file
actions as well as adds some additional
information about the current state of the history. By default, this prints a key-value
series of lines. However, it can also return a JSON formatted string.
>>> history info
sessionid: ace97177-f8dd-4a8d-8a91-a98ffd0b3d17
filename: /home/scopatz/.local/share/xonsh/xonsh-ace97177-f8dd-4a8d-8a91-a98ffd0b3d17.json
length: 6
buffersize: 100
bufferlength: 6
>>> history info --json
{"sessionid": "ace97177-f8dd-4a8d-8a91-a98ffd0b3d17",
"filename": "/home/scopatz/.local/share/xonsh/xonsh-ace97177-f8dd-4a8d-8a91-a98ffd0b3d17.json",
"length": 7, "buffersize": 100, "bufferlength": 7}
The replay
action allows for history files to be rerun, as scripts or in an existing xonsh
session.
First, the original 'replay'
environment is loaded and will be merged with the current 'native'
environment. How the environments are merged or not merged can be set at replay time. The default is for
the current native environment to take precedence. Next, each input in the environment is executed in order.
Lastly, the information of the replayed history file is printed.
Let's walk through an example. To begin with, open up xonsh and run some simple commands, as follows.
Call this the orig
session.
orig history
>>> mkdir -p temp/
>>> cd temp
>>> import random
>>> touch @(random.randint(0, 18))
>>> ls
2
>>> history file
/home/scopatz/.local/share/xonsh/xonsh-4bc4ecd6-3eba-4f3a-b396-a229ba2b4810.json
>>> exit
We can now replay this by passing the filename into the replay command or the replay action
of the history command. This action has a few different options, but one of them is that
we can select a different target output file with the -o
or --target
option.
For example, in a new session, we could run:
new history
>>> history replay -o ~/new.json ~/.local/share/xonsh/xonsh-4bc4ecd6-3eba-4f3a-b396-a229ba2b4810.json
2 10
/home/scopatz/new.json
----------------------------------------------------------------
Just replayed history, new history the has following information
----------------------------------------------------------------
sessionid: 35712b6f-4b15-4ef9-8ce3-b4c781601bc2
filename: /home/scopatz/new.json
length: 7
buffersize: 100
bufferlength: 0
As you can see, a new history was created and another random file was added to the file system.
If we want instead to replay history in its own session, we can always use the -c
option on
xonsh itself to execute the replay command.
next history
>>> xonsh -c "replay -o ~/next.json ~/new.json"
2 7 10
/home/scopatz/next.json
----------------------------------------------------------------
Just replayed history, new history has the following information
----------------------------------------------------------------
sessionid: 70d7186e-3eb9-4b1c-8f82-45bb8a1b7967
filename: /home/scopatz/next.json
length: 7
buffersize: 100
bufferlength: 0
Currently history does not handle alias storage and reloading, but such a feature may be coming in the future.
Between any two history files, we can run the diff
action. This does more that a simple line
diff that you might generate with the unix diff
command. (If you want a line diff, just
use the unix command!) Instead this takes advantage of the fact that we know we have xonsh
history files to do a more sophisticated diff on the environment, input, output (if available),
and return values. Of course, the histories inputs should be 'sufficiently similar' if the diff
is to be meaningful. However, they don't need to be exactly the same.
The diff action has one major option, -v
or --verbose
. This basically says whether the
diff should go into as much detail as possible or only pick out the relevant pieces. Diffing
the new and next examples from the replay action, we see the diff looks like:
>>> history diff ~/new.json ~/next.json
--- /home/scopatz/new.json (35712b6f-4b15-4ef9-8ce3-b4c781601bc2) [unlocked]
started: 2015-08-27 15:13:44.873869 stopped: 2015-08-27 15:13:44.918903 runtime: 0:00:00.045034
+++ /home/scopatz/next.json (70d7186e-3eb9-4b1c-8f82-45bb8a1b7967) [unlocked]
started: 2015-08-27 15:15:09.423932 stopped: 2015-08-27 15:15:09.619098 runtime: 0:00:00.195166
Environment
-----------
'PATH' is in both, but differs
- /home/scopatz/.local/bin:/home/scopatz/sandbox/bin:/home/scopatz/miniconda3/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/home/scopatz/origen22/code/
+ /home/scopatz/.local/bin:/home/scopatz/sandbox/bin:/home/scopatz/miniconda3/bin:/home/scopatz/.local/bin:/home/scopatz/sandbox/bin:/home/scopatz/miniconda3/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/home/scopatz/origen22/code/:/home/scopatz/origen22/code/
'SHLVL' is in both, but differs
- 2
+ 3
'XONSH_INTERACTIVE' is in both, but differs
- True
+ False
These vars are only in 70d7186e-3eb9-4b1c-8f82-45bb8a1b7967: {'OLDPWD'}
Commands
--------
cmd #4 in 35712b6f-4b15-4ef9-8ce3-b4c781601bc2 input is the same as
cmd #4 in 70d7186e-3eb9-4b1c-8f82-45bb8a1b7967, but output differs:
Outputs differ
- 2 10
+ 2 7 10
cmd #5 in 35712b6f-4b15-4ef9-8ce3-b4c781601bc2 input is the same as
cmd #5 in 70d7186e-3eb9-4b1c-8f82-45bb8a1b7967, but output differs:
Outputs differ
- /home/scopatz/new.json
+ /home/scopatz/next.json
As can be seen, the diff has three sections.
- The header describes the meta-information about the histories, such as their file names, sessionids, and time stamps.
- The environment section describes the differences in the environment when the histories were started or replayed.
- The commands list this differences in the command themselves.
For the commands, the input sequences are diff'd first, prior to the outputs being compared. In a terminal, this will appear in color, with the first history in red and the second one in green.
Last, but certainly not least, the gc
action is a manual hook into executing
history garbage control. Since history has the potential for a lot of information
to be stored, it is necessary to be able to clean out the cache every once in a
while.
Garbage control is launched automatically for every xonsh thread, but runs in the a background thread. The garbage collector only operates on unlocked history files. The action here allows you to manually start a new garbage collector, possibly with different criteria.
Normally, the garbage collector uses the environment variable $XONSH_HISTORY_SIZE
to determine the size and units of what should be allowed to remain on disk. By default,
this is (8128, 'commands')
. This variable is usually a tuple or list of a
number and a string, as seen here. However, you can also use a string with the same
information, e.g. '8128 commands'
. On the command line, though, you just pass in
two arguments to the --size
option, a la --size 8128 commands
.
The garbage collector accepts four canonical units:
'commands'
is for limiting the number of past commands executed in the- history files,
'files'
is for specifying the total number of history files to keep,'s'
is for the number of seconds in the past that are allowed - which is effectively a timeout of the history files, and'b'
is for the number of bytes that are allowed on the file system for all history files to collectively consume.
However, other units, aliases, and appropriate conversion functions have been implemented. This makes it easier to garbage collect based on human-friendly values.
GC Aliases:
{'commands': ['', 'c', 'cmd', 'cmds', 'command'],
'files': ['f'],
's': ['sec', 'second', 'seconds', 'm', 'min', 'mins', 'h', 'hr', 'hour', 'hours',
'd', 'day', 'days', 'mon', 'month', 'months', 'y', 'yr', 'yrs', 'year', 'years'],
'b': ['byte', 'bytes', 'kb', 'kilobyte', 'kilobytes', 'mb', 'meg', 'megs', 'megabyte',
'megabytes', 'gb', 'gig', 'gigs', 'gigabyte', 'gigabytes', 'tb', 'terabyte',
'terabytes']
}
So all said and done, if you wanted to remove all history files older than a month, you could run the following command:
>>> history gc --size 1 month
So now you know how to inspect, run, and remove history. But what is a history file exactly? While xonsh history files are JSON formatted, and they do have the structure indicated at the top of the page, that isn't their top-level structure. If you open one up, you'll see a bunch of hocus pocus before you get to anything real.
Xonsh has implemented a generic indexing system (sizes, offsets, etc)for JSON files that lives
inside of the file that it indexes. This is known as LazyJSON
because it allows us to
only read in the parts of a file that we need. For example, for replaying we only need to
grab the input fields and so that helps us on I/O. For garbage collecting based on the number
of commands, we can get this information from the index and don't need to read in any of the
original data.
The best part about this is that it is totally generic. Feel free to use xonsh.lazyjson
yourself for things other than xonsh history! Of course, if you want to read in xonsh history,
you should probably use the module.
Xonsh is able to capture all stdout and stderr transparently and responsively. For aliases,
Python code, or xonsh code, this isn't a big deal. It is easy to redirect information
flowing through sys.stdout
and sys.stderr
. For subprocess commands, this is
considerably harder. (Subprocess stdout capturing is currently skipped on Windows, though
is theoretically possible.)
To be able to tee stdout and stderr and still have the terminal responsive, xonsh implements
its own teeing pseudo-terminal on top of the Python standard library pty
module. You
can find this class in the xonsh.teepty
module. Like with lazy JSON, this is independent
from other parts of xonsh and can be used on its own. If you find this useful in other areas,
please let us know!
Now that we have all of this history data, it seems like what we have here is just the tip of the iceberg! Here are some hopefully fun ideas that I think would be great to see implemented:
- Basic statistic reports about command usage, timing, etc.,
- Global statistics by collecting anonymized histories from many people,
- MCMC-based tab-completer for inputs,
- and many more!
Let us know if you'd be interested in working on any of these, inside or outside of xonsh.