Julian Prein 2ac0e01766 python: Handle non-existing history file ...

Create a dummy entry in the history file if it does not exist yet or is
empty. Otherwise `~/.python_history` would be used by site.py.

2022-07-12 21:00:11 +02:00

..

pythonrc

python: Handle non-existing history file

2022-07-12 21:00:11 +02:00