diff options
Diffstat (limited to '')
| -rw-r--r-- | home-manager/python/default.nix | 9 | ||||
| -rw-r--r-- | home-manager/python/pythonrc | 11 |
2 files changed, 20 insertions, 0 deletions
diff --git a/home-manager/python/default.nix b/home-manager/python/default.nix new file mode 100644 index 00000000..4fd01a0a --- /dev/null +++ b/home-manager/python/default.nix @@ -0,0 +1,9 @@ +{ + config, + pkgs, + ... +}: { + xdg.configFile."python/pythonrc".source = ./pythonrc; +} +# vim: ts=2 + diff --git a/home-manager/python/pythonrc b/home-manager/python/pythonrc new file mode 100644 index 00000000..38c48e0f --- /dev/null +++ b/home-manager/python/pythonrc @@ -0,0 +1,11 @@ +import os +import atexit +import readline + +history = os.path.join(os.environ['XDG_CACHE_HOME'], 'python_history') +readline.read_history_file(history) + +def write_history(): + readline.write_history_file(history) + +atexit.register(write_history) |