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

	Commit message (Collapse)	Author	Files	Lines
2023-03-20	Manage public SSH files as "extra-etc-file" instead of like a secret	EuAndreh	1	-1/+0

2023-03-16	Makefile: Build system on "all" target with symlink at "result"	EuAndreh	1	-0/+2

2023-03-15	.gitignore: Cleanup old rules	EuAndreh	1	-4/+0

2023-03-14	Makefile: Use correct SSH public key in server	EuAndreh	1	-0/+1

2023-03-12	Makefile: Add "upload-secrets" target, and include borg-passphrase.txt in it	EuAndreh	1	-0/+1

2022-11-27	Build TODOs.html on "public" target	EuAndreh	1	-0/+1

2022-03-07	Delete all old code and configuration to start from scratch with Guix only	EuAndreh	1	-7/+2
	Delete files related to: - Terraform - opt/* - scripts/deploy - secrets/* - git-crypt - Nix
2021-07-29	WIP reactivate nixvps with Terraform and nixos-rebuild on Vultr	EuAndreh	1	-2/+2

2020-12-02	Fix build of HTML	EuAndreh	1	-0/+1

2020-12-02	Build and publish TODOs.org file	EuAndreh	1	-0/+5

2020-11-18	Remove default.nix and shell.nix	EuAndreh	1	-6/+0

2020-08-14	Add ./tmp to .gitignore	EuAndreh	1	-1/+4

2020-08-10	Migration: Remove Ansible and Docker code, move only to NixOS	EuAndreh	1	-7/+1

2020-08-02	.gitignore: Add top-level provision.yaml	EuAndreh	1	-0/+3

2019-06-10	Output all generated files on ./generated/, refactor .envrc variables	EuAndreh	1	-10/+0

2019-06-10	Ignore /logs.txt	EuAndreh	1	-1/+1

2019-06-10	Send logs via email after finishing provision.sh	EuAndreh	1	-1/+4
	The email will be send for both sucessfull and failed runs.
2019-06-09	Don't use terraform-full derivation	EuAndreh	1	-0/+1

2019-06-08	Generate UserKnownHostsFile dynamically instead of when rotating keys	EuAndreh	1	-1/+2
	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	Restore backup in Ansible instead of Bash	EuAndreh	1	-1/+3

2019-06-05	Use Ansible instead of Bash for provisioning	EuAndreh	1	-1/+7
	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;
2019-05-25	Add /result to .gitignore	EuAndreh	1	-1/+4

2019-05-25	Add .terraform to .gitignore	EuAndreh	1	-0/+2