server - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Files	Lines
2019-06-08	Generate UserKnownHostsFile dynamically instead of when rotating keys	EuAndreh	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.
2019-06-05	Script: rotate SSH keys	EuAndreh	5	-0/+0

2019-06-05	Script: rotate SSH keys	EuAndreh	5	-0/+0

2019-06-05	Script: rotate SSH keys	EuAndreh	5	-0/+0

2019-06-05	Fix git-crypt configuration	EuAndreh	5	-0/+0

2019-06-05	Use known-hosts.txt with public key from the rotated SSH key pair	EuAndreh	1	-0/+1

2019-06-05	Use Ansible instead of Bash for provisioning	EuAndreh	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;