toph - Setup and configuration for VPS and other personal server

	Commit message (Collapse)	Author	Age	Files	Lines
*	Output all generated files on ./generated/, refactor .envrc variables	EuAndreh	2019-06-10	1	-10/+0
\|
*	Generate UserKnownHostsFile dynamically instead of when rotating keys	EuAndreh	2019-06-08	1	-2/+0
\| \| \| \| \| \| \| \| \| \| \| \|	The previous solution would hardcode the server IP. This way we can change the server IP address that is hosting everything and keep the SSH keypair. Previously changing the IP address would require either calling the =./rotate-ssh-keys.sh= script or manually changing the IP address on the known-hosts.txt file. The IP address being duplicated itself was a code smell. Both SSH keypair and IP address can now be changed independently.
*	Clean leftovers from rotate-ssh-keys.sh	EuAndreh	2019-06-05	1	-18/+2
\|
*	Use Ansible instead of Bash for provisioning	EuAndreh	2019-06-05	1	-0/+28
	The deployment is not quite working, and I'm unable to test right now: DigitalOcean is returning 503 for my requests. As of this commit, I can run =ansible-playbook provider.yml= more than once and it will actually be idempotent. Notes: - SSH fingerprint are now taken from the public key file instead of manually supplying it in the terraform template using the =digitalocean_ssh_key= resource; - use Ansible instead of ad-hoc Bash scripts for provisioning the Droplets created by Terraform; - use the =filename.env.extension= to create the concrete files in CI; - use the =user_data= to add the know SSH key pair to the newly created Droplet; - add =rotate-ssh-keys.sh= utils;