GUI 上の端末を開いて、以下を実行、ダイアログが出るので適切に選択する。
user$ LANG=C xdg-user-dirs-gtk-update
既定値ではveracryptはいないので ppa:unit193 をリポジトリに追加する。
user$ sudo apt update user$ sudo add-apt-repository ppa:unit193/encryption -y user$ sudo apt update user$ sudo apt install veracrypt