dearwolf/aider
1
0
Fork 0
mirror of https://github.com/Aider-AI/aider.git synced 2025-06-01 10:14:59 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

refactor: Modify git repository setup process for improved user experience

Browse source
This commit is contained in:
Paul Gauthier 2024-08-28 15:46:08 -07:00
parent e0ff2bcc51
commit 12d2ba6f3e
1 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

10
aider/main.py
View file

@ -25,6 +25,7 @@ from .dump import dump # noqa: F401
def setup_git_home(io): def setup_git_home(io):
home = Path.home() home = Path.home()
git_repos = sorted(home.glob("*/.git")) git_repos = sorted(home.glob("*/.git"))
git_repos = []
git_root = None git_root = None
if git_repos: if git_repos:
@ -38,7 +39,7 @@ def setup_git_home(io):
while True: while True:
choice = io.prompt_ask( choice = io.prompt_ask(
"Enter the number or name of the repository you want to work on,\n" "Enter the number or name of the repository you want to work on,\n"
"or enter the name of a new project to create:" "or enter the name of a new directory to create:"
) )
choice = choice.strip() choice = choice.strip()
try: try:
@ -61,6 +62,11 @@ def setup_git_home(io):
break break
else: else:
return # no response return # no response
else:
choice = io.prompt_ask("Enter a directory name to create a new project:")
choice = choice.strip()
if choice:
git_root = home / choice
if not git_root: if not git_root:
return return
@ -125,6 +131,8 @@ def setup_git(git_root, io):
if not git_root and Path.cwd() == Path.home(): if not git_root and Path.cwd() == Path.home():
git_root = setup_git_home(io) git_root = setup_git_home(io)
if not git_root:
return # don't make a .git in $HOME
if not git_root: if not git_root:
git_root = Path.cwd() git_root = Path.cwd()