Skip to content

Commit

Permalink
Fixed existing dependency clearing (#263)
Browse files Browse the repository at this point in the history
- Changed 'rm --preserve-root=all' to 'rm --preserve-root' in
'install_deps.sh'
  - Unlike Ubuntu 20.04, 18.04's 'rm --preserve-root' does not accept
  a value
  • Loading branch information
Giordano Salvador committed Apr 7, 2021
1 parent 1c04cd2 commit 3313ddf
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions install_deps.sh
Original file line number Diff line number Diff line change
Expand Up @@ -120,10 +120,10 @@ function prompt_install()
if [ -d "${src_dir}" ]; then
echo "Source directory '${src_dir}' already exists."
if y_or_n "Clear directory and proceed with installation?"; then
rm -rf --preserve-root=all "${src_dir}"
rm -rf --preserve-root "${src_dir}"
if [ "$?" -eq 1 ]; then
echo "Failed to clear '${src_dir}. Trying with sudo (if interactive, Ctrl+c to abort)."
sudo rm -rf --preserve-root=all "${src_dir}"
sudo rm -rf --preserve-root "${src_dir}"
fi
else
return 1
Expand Down

0 comments on commit 3313ddf

Please sign in to comment.