bug: can't bootstrap MIDI without a default MIDI config

[Triple-Z]

Description

Can't bootstrap MIDI without a default MIDI config (~/.midi/config.MIDI).

Reproduction

$ make build

$ ./bin/midi bootstrap 
error: failed to initialize home manager: open ~/.midi/config.MIDI: no such file or directory

$ ./bin/midi -v       
midi github.com/tensorchord/midi 08aa611 

Additional Info

[Triple-Z]

Even with the help command.

$ ./bin/midi help
error: failed to initialize home manager: open ~/.midi/config.MIDI: no such file or directory

[gaocegege]

My config.MIDI looks like:

vscode(plugins = [
    "ms-vscode.cpptools-1.7.1",
    "github.copilot-1.12.5517"
])

ubuntu_apt(source="""
deb https://mirror.sjtu.edu.cn/ubuntu focal main restricted
deb https://mirror.sjtu.edu.cn/ubuntu focal-updates main restricted
deb https://mirror.sjtu.edu.cn/ubuntu focal universe
deb https://mirror.sjtu.edu.cn/ubuntu focal-updates universe
deb https://mirror.sjtu.edu.cn/ubuntu focal multiverse
deb https://mirror.sjtu.edu.cn/ubuntu focal-updates multiverse
deb https://mirror.sjtu.edu.cn/ubuntu focal-backports main restricted universe multiverse
deb http://archive.canonical.com/ubuntu focal partner
deb https://mirror.sjtu.edu.cn/ubuntu focal-security main restricted universe multiverse
""")
pip_mirror(mirror = "https://mirror.sjtu.edu.cn/pypi/web/simple")

After I removed it from ~/.midi/, reproduced the issue locally