В вашей команде установки есть опечатка (double b), но она должна быть:
sudo apt-get install davfs2
Хорошо, здесь есть пара проблем:
Используйте echo $PATH вместо $PATH, чтобы проверить это! Причиной этого является то, что bash заменяет $PATH содержимым этой переменной всюду, поэтому просто запуск $PATH пытается выполнить содержимое переменной, что абсурдно для hte bash-интерпретатора. Вы должны добавить контент, добавленный в ~/.profile, к ~/.bashrc. Убедитесь, что "$HOME/bin" существует, запустив ls -d $HOME/bin. Если вы получите ошибку, например bash: ls: No such file or directory., она не существует. Если он существует, вы должны получить вывод, похожий на /home/[username]/bin.Если все это удовлетворено, тогда вам должно быть хорошо идти. Если вы этого не сделаете, просто используйте эту команду: cd [path_to_studio_directory]; ./studio.sh. Таким образом, вы начнете в этой папке и гарантируете ее выполнение.