Patrick Stevens d3793f9b40 Add nginx settings for Woodpecker (#45)

2025-10-12 09:54:13 +00:00

..

Nix

Add nginx settings for Woodpecker (#45)

2025-10-12 09:54:13 +00:00

.gitignore

Whisper (#26)

2024-01-29 00:12:27 +00:00

BashString.fs

Create Pulumi-provisioned web server

2022-12-31 12:46:09 +00:00

BashString.fsi

Create Pulumi-provisioned web server

2022-12-31 12:46:09 +00:00

Cloudflare.fs

Upgrade Pulumi (#43)

2025-10-12 09:37:44 +00:00

Command.fs

Use Pulumi to provision and Nix to configure (#12)

2023-02-02 22:14:16 +00:00

config.schema.json

Add radicale and gitea config to schema (#41)

2025-10-12 09:35:07 +00:00

Configuration.fs

Add radicale and gitea config to schema (#41)

2025-10-12 09:35:07 +00:00

DigitalOcean.fs

Increase size of server (#25)

2024-01-28 23:59:28 +00:00

Domain.fs

Add 'robocop' subdomain (#44)

2025-10-12 09:40:40 +00:00

Local.fs

Use Pulumi to provision and Nix to configure (#12)

2023-02-02 22:14:16 +00:00

Nginx.fs

Use Pulumi to provision and Nix to configure (#12)

2023-02-02 22:14:16 +00:00

Program.fs

Do SSH keys earlier (#37)

2025-03-07 21:41:19 +00:00

Pulumi.dev.yaml

Miniflux and Woodpecker (#13)

2023-07-20 13:21:41 +01:00

Pulumi.fs

Create Pulumi-provisioned web server

2022-12-31 12:46:09 +00:00

Pulumi.staging.yaml

Miniflux and Woodpecker (#13)

2023-07-20 13:21:41 +01:00

Pulumi.yaml

Create Pulumi-provisioned web server

2022-12-31 12:46:09 +00:00

PulumiWebServer.fsproj

Upgrade Pulumi (#43)

2025-10-12 09:37:44 +00:00

Server.fs

Use Pulumi to provision and Nix to configure (#12)

2023-02-02 22:14:16 +00:00

Utils.fs

Minor updates (#20)

2023-10-01 22:32:20 +01:00

waitforready.sh

Use Pulumi to provision and Nix to configure (#12)

2023-02-02 22:14:16 +00:00