-
Notifications
You must be signed in to change notification settings - Fork 264
Open
Labels
Description
What happened?
Having a space in a directory name that devbox shell
is called in, will result in bash stating:
me@main-lt:~/Documents/rm scripts$ devbox shell
Starting a devbox shell...
bash: /home/me/Documents/rm: No such file or directory
Looking at one of the generated files we can find the cause: spaces are not escaped, nor is the path in quotes.
me@main-lt:~/Documents/rm scripts$ cat .devbox/gen/scripts/.hooks.sh
/home/me/Documents/rm scripts/.devbox/virtenv/python/bin/venvShellHook.sh
echo 'Welcome to devbox!' > /dev/null
If I escape the space, the error no longer appears.
Tested on Ubuntu 25.04
Steps to reproduce
- create a directory with a space in it's name
- run
devbox init
- run
devbox shell
Command
shell
devbox.json
Devbox version
0.15.1
Nix version
2.30.2
What system does this bug occur on?
Linux (x86-64)
Debug logs
No response