Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Fix python.json #164

Merged
merged 1 commit into from
Aug 20, 2022
Merged

Fix python.json #164

merged 1 commit into from
Aug 20, 2022

Conversation

jaschiu
Copy link

@jaschiu jaschiu commented Aug 20, 2022

The old python.json has a problem: If no python history file exists yet, one will need to be created and will be put in $HOME/.python_history. So therefore there will be 2 python history files: $HOME/.python_history and $XDG_CACHE_HOME/python_history. The changes I made solves this.

history file will be created for first time
@b3nj5m1n
Copy link
Owner

Thanks!

@b3nj5m1n b3nj5m1n merged commit 30b1aa7 into b3nj5m1n:main Aug 20, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants