Message198653
> The patch fixes the problem on my setup. A very minor glitch: after
> manually emptying or removing the PYTHONSTARTUP history file, the
> history is loaded with the content of ~/.python_history on the next
> session.
Yes, the only way to know if a history file has already been loaded with
readline seems to be to query the history itself. So, if the history is
empty, we consider no file has been loaded. |
|
Date |
User |
Action |
Args |
2013-09-29 21:13:22 | pitrou | set | recipients:
+ pitrou, loewis, ronaldoussoren, mark.dickinson, cben, belopolsky, larry, techtonik, giampaolo.rodola, ned.deily, ezio.melotti, eric.araujo, steven.daprano, r.david.murray, flox, lesmana, xdegaye, tshepang, python-dev, serhiy.storchaka |
2013-09-29 21:13:22 | pitrou | link | issue5845 messages |
2013-09-29 21:13:22 | pitrou | create | |
|