$ sudo apt-get update

$ sudo apt install postgresql postgresql-contrib

$ sudo -u postgres psql postgres

$ postgres=# \i HelloWorld.sql