From aaf0e7db06cd1a7634fbd850edea754cd516c54b Mon Sep 17 00:00:00 2001 From: Sarah Hoffmann Date: Tue, 13 Jun 2023 14:12:56 +0200 Subject: [PATCH] add instructions for switching to user for install scripts Fixes #3057. --- vagrant/Install-on-Ubuntu-20.sh | 5 +++++ vagrant/Install-on-Ubuntu-22.sh | 5 +++++ 2 files changed, 10 insertions(+) diff --git a/vagrant/Install-on-Ubuntu-20.sh b/vagrant/Install-on-Ubuntu-20.sh index e6ad9ca9..52967092 100755 --- a/vagrant/Install-on-Ubuntu-20.sh +++ b/vagrant/Install-on-Ubuntu-20.sh @@ -56,6 +56,11 @@ export DEBIAN_FRONTEND=noninteractive #DOCS: # # You may find a more suitable location if you wish. # +# The following instructions assume you are logged in as this user. +# You can also switch to the user with: +# +# sudo -u nominatim bash +# # To be able to copy and paste instructions from this manual, export # user name and home directory now like this: # diff --git a/vagrant/Install-on-Ubuntu-22.sh b/vagrant/Install-on-Ubuntu-22.sh index 68bd8682..7a4d146f 100755 --- a/vagrant/Install-on-Ubuntu-22.sh +++ b/vagrant/Install-on-Ubuntu-22.sh @@ -51,6 +51,11 @@ export DEBIAN_FRONTEND=noninteractive #DOCS: # # You may find a more suitable location if you wish. # +# The following instructions assume you are logged in as this user. +# You can also switch to the user with: +# +# sudo -u nominatim bash +# # To be able to copy and paste instructions from this manual, export # user name and home directory now like this: # -- 2.39.5