server - Setup and configuration for VPS and other personal server

	Commit message (Collapse)	Author	Age	Files	Lines
*	Remove unused secrets/{borg,ssh}/	EuAndreh	2020-08-10	2	-0/+0
\|
*	Migration: Remove Ansible and Docker code, move only to NixOS	EuAndreh	2020-08-10	4	-0/+0
\|
*	Generate UserKnownHostsFile dynamically instead of when rotating keys	EuAndreh	2019-06-08	1	-0/+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.
*	Script: rotate SSH keys	EuAndreh	2019-06-05	5	-0/+0
\|
*	Script: rotate SSH keys	EuAndreh	2019-06-05	5	-0/+0
\|
*	Script: rotate SSH keys	EuAndreh	2019-06-05	5	-0/+0
\|
*	Fix git-crypt configuration	EuAndreh	2019-06-05	5	-0/+0
\|
*	Use known-hosts.txt with public key from the rotated SSH key pair	EuAndreh	2019-06-05	1	-0/+1
\|
*	Use Ansible instead of Bash for provisioning	EuAndreh	2019-06-05	5	-0/+100
	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;