$ ./install/linux.sh
/home/dstasczak/Downloads/kinto.zip: No such file or directory
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0
Warning: Failed to open the file /home/dstasczak/Downloads/kinto.zip: No such
Warning: file or directory
100 512 0 512 0 0 751 0 --:--:-- --:--:-- --:--:-- 751
curl: (23) Failure writing output to destination
unzip: cannot find or open /home/dstasczak/Downloads/kinto.zip, /home/dstasczak/Downloads/kinto.zip.zip or /home/dstasczak/Downloads/kinto.zip.ZIP.
…
This PR is supposed to fix that.
In case the fallback hardcoded path is used, there will be an error message written to the STDERR:
$ ./install/linux.sh
./install/linux.sh: line 7: xdg-user-dir: command not found
This is the default error message that bash shows in case it cannot find a specific command, I think it's clear enough not to require implementing any custom handling. Let me know if you agree or not :slightly_smiling_face:
According to the https://wiki.archlinux.org/title/XDG_user_directories and https://www.freedesktop.org/wiki/Software/xdg-user-dirs/, Linux users can customize their "user directories" to be in a different paths than the default
~/Downloads
etc. However, the install script hardcoded this path so far, which caused a failure for such users, e.g.This PR is supposed to fix that.
In case the fallback hardcoded path is used, there will be an error message written to the
STDERR
:This is the default error message that
bash
shows in case it cannot find a specific command, I think it's clear enough not to require implementing any custom handling. Let me know if you agree or not :slightly_smiling_face: