Commit graph

1697 commits

Author SHA1 Message Date
Griffin Smith
3903da95e7 fix(grfn/system): Don't use whitby as substituter, only builder
I've found that this is the best way to convince nix to actually prefer
cache.nixos.org - it tries to use whitby as a builder, then if the store
path is already built it just downloads it.

Change-Id: I4c78079bfb0013155feb2d39f60d99779123109e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5972
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2022-07-22 14:43:23 +00:00
William Carroll
1edba49adb chore(wpcarro/blog): Fix typo
Oops...

Change-Id: I926246246fddbfd8811dfad745909e740995dd0e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5945
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-07-22 03:04:54 +00:00
William Carroll
6fbd78d462 feat(wpcarro/blog): SSH Oddities
Another short post about strange encounters in sysadmin-land.

Change-Id: Ie71ca36553440d706ff808af91bed8e09008f909
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5944
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-07-22 03:02:33 +00:00
William Carroll
33f6419d7e refactor(wpcarro/nixos): Define shared nopn.nix module
Shared between `ava` and `tarasco`. Also define `lib/default.nix` to share
utility functions like `usermod` between NixOS configurations.

Change-Id: I65b8d37520426e164c9d5f722bee4731a3c6e641
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5942
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-07-22 03:02:21 +00:00
Vincent Ambo
cd5fa69897 docs(tazjin/blog): update wallet & phone in tools list
Change-Id: I22ef98937d5424dafe367c779e16b56e8ddbf545
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5968
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
2022-07-21 15:36:34 +00:00
Griffin Smith
046dbe3501 fix(grfn/emacs): Install jiralib2
I don't want to try to investigate why this isn't happening via
org-tracker, at least right now

Change-Id: I67b8f9a82e7025dde468350a6cc24674c622306e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5967
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2022-07-21 03:50:05 +00:00
Griffin Smith
3e17c1613d feat(grfn/system): Enable boot.cleanTmpDir
Change-Id: Idb171cd4baa4c6e54edb8d906559778d005bddb3
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5966
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2022-07-21 03:50:04 +00:00
Griffin Smith
21dbfd0e8b feat(grfn/system): Configure nvidia drivers for ogopogo
this seems to... work, actually?

Change-Id: Id6df5a8c6755b4eb6eceaafdd6a693f92a0462ba
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5965
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2022-07-21 03:50:03 +00:00
Griffin Smith
5eb5fa2d9c fix(grfn/home): Don't display battery for ogopogo
there isn't one

Change-Id: I154e1d6a7a3ae1f87242209a175ef32dc43eefe4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5964
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2022-07-21 03:50:03 +00:00
Griffin Smith
7ac9b76c3c feat(grfn/system): Add ogopogo
This is my new work desktop

https://en.wikipedia.org/wiki/Ogopogo

Change-Id: I198d8757ff85eec00a303b990efdd2658cbc3e6a
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5963
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
2022-07-20 02:48:41 +00:00
Profpatsch
c04c66c637 feat(users/Profpatsch/cas-serve): init
A dumb little daemon that stores arbitrary files by content-hash, and
exposes a randomly generated URL by which the file can be fetched
again.

If the same file is uploaded twice, it will only be stored once.
CAS hashes are not exposed to the user, so they can’t figure out
whether a file they know is in the database.

Change-Id: Ie57bc09d429a9f31c8f0fc5f63f78d6a84d650f7
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5952
Tested-by: BuildkiteCI
Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-07-17 17:00:43 +00:00
Vincent Ambo
2763a4ce01 fix(tazjin/home): persist syncthing configuration
Change-Id: I33d8af4c5891422e7dc46f956b9379ec0df577c9
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5951
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
2022-07-14 15:40:35 +00:00
Vincent Ambo
fd13a611e1 fix(tazjin/nixos): disable broken NetworkManager-wait-online.service
Change-Id: I7753ccb53ce7a692b79f46e62ce395dfd1770edf
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5950
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
2022-07-14 15:32:34 +00:00
Vincent Ambo
6dd8c0e40e fix(tazjin/nixos): only persist /etc/machine-id if its unset via nix
otherwise the files end up clashing with each other, causing annoying
errors on activation

Change-Id: Iaa4df8c50aa183f4a12749c66ee1b7a746d785da
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5949
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
2022-07-14 15:28:32 +00:00
Vincent Ambo
9b86f8f208 chore(tazjin/nixos): use powertop only on zamalek
this has weird side effects on the AMD thinkpad (of course), but since
that is stationary in my office anyways the power-saving stuff doesn't
matter so much there.

Change-Id: Ie43e3a86b2da885c25eb5c3eb36683adb14edd1a
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5948
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
2022-07-14 15:28:32 +00:00
Vincent Ambo
673796a786 feat(tazjin/home): enable syncthing service
Change-Id: I205db40e7673e06f854de5375ab89d01a1bef776
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5947
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
2022-07-14 15:01:22 +00:00
Vincent Ambo
af9dccb245 feat(tazjin/zamalek): enable avahi daemon
Change-Id: Ibbff85955482a4e0e4e56f6cc677c85bab6e9ba4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5946
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
2022-07-14 15:01:22 +00:00
William Carroll
3297d01f0a fix(wpcarro/website): Redirect wpcarro.dev traffic
To https://billandhiscomputer.com (instead of the nginx default landing page).

Change-Id: Id08a3a54c0753c20370a45ff6344128f180d52dd
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5904
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-07-12 20:42:43 +00:00
Vincent Ambo
683de4b159 fix(tazjin/tverskoy): add myself to vboxusers
otherwise passing through USB devices is not possible

Change-Id: I3ab52aaae2567f39e483717b74023316fc3d033a
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5941
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
2022-07-12 17:14:57 +00:00
William Carroll
ab0cca019b feat(wpcarro/nixos): Support laptop.nix module
Define shared laptop configuration. The primary impetus of this change was
`powerManagement.powertop`.

Change-Id: Icbd04a252005ab391dc8f7d5ebf0968af91f2e0c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5910
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-07-12 04:13:22 +00:00
William Carroll
5188c689bf feat(wpcarro/blog): Short notes post on sudo tee
See post for more information :)

Change-Id: I1e2c1e3997d895fd64f225b5f0bc91f5b26d3e96
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5940
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-07-12 04:01:20 +00:00
Griffin Smith
7885fe99dc feat(grfn/mugwump): Remove bbbg staging
I don't really need this, and it's breaking for reasons I don't
understand

Change-Id: I55e31fe4a97b4b8d9e254695d62639024b6ebbf2
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5939
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
2022-07-11 14:44:44 +00:00
Griffin Smith
8c59414f08 fix(grfn/emacs): Fix angle brace matching in rust-mode
Change-Id: I2dd3fb3d7f82eaa6ec09c2fd845edd26eecd1548
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5938
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
2022-07-11 14:44:43 +00:00
Griffin Smith
0156292099 feat(grfn/home): Install latex bussproofs package
Change-Id: I11da65decbd55c7c5ab9915887280ea4366d3c9d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5937
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
2022-07-11 14:44:42 +00:00
Griffin Smith
67f9a83aa6 fix(grfn/emacs): Add org-mode setup hook before loading agenda files
Change-Id: I6f5c05e7dd8d7a2ce09965009a2dae213c9a92e6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5936
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
2022-07-11 14:44:41 +00:00
Griffin Smith
539d69f565 feat(grfn/home): Add binding for extracting patch from email
Change-Id: Id568f8b479cebe547e1ad8a309ccfa395bf99b83
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5935
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
2022-07-11 14:44:40 +00:00
Griffin Smith
a37f0eed21 feat(grfn/home): Add function to purge a readyset deployment
Change-Id: I9d0426fa4a38551f256dc5fe08a1a0115f7915fb
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5934
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
2022-07-11 14:43:38 +00:00
Griffin Smith
bdf614ec3d feat(grfn/home): Install some new rust utilities
Change-Id: I9e210a86a037c58aa832b25203b5ac8c27306aa3
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5933
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
2022-07-11 14:43:37 +00:00
sterni
11738fc232 chore(sterni/mblog): relicense to GPL-3.0-only
This is possible since all the commits have been made by me. The code
taken from  SCLF (which is licensed LGPL-2.1-or-later) can also be
included since the LGPL 2.1 is [compatible] with the GPL 3.0.

compatible: https://www.gnu.org/licenses/license-list.en.html#LGPLv2.1
Change-Id: I2d274c29378679c489dc667a53b234642c3da817
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5928
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
2022-07-09 17:10:46 +00:00
William Carroll
882c5570bf chore(wpcarro/website): Resize things for iPhone 12 Mini
The overflow-x was a bit embarrassing. I also touched-up other things while I
was getting my hands dirty in the CSS.

Change-Id: I7bfdbb0ab05c67f35fb11672b3dfc29b6c5a53d1
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5927
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-07-09 05:08:41 +00:00
Vincent Ambo
a8964cfc7b feat(tazjin/nixos): install thunderbird
sometimes I need a GUI mail client for stuff

Change-Id: I956e804b7167571e535556ad02a50637621b01bf
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5923
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: tazjin <tazjin@tvl.su>
2022-07-05 15:09:18 +00:00
sterni
01bfe729a2 chore(3p/sources): Bump channels & overlays
* //users/grfn/home/yeren: remove discord override which broke eval due
  to a changed overriding scheme adopted in nixpkgs. nixpkgs has discord
  0.0.18 now, so updating from 0.0.16 is probably fine.

Change-Id: I540ff3621dcb548d33a929588fbe7fddc3078050
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5912
Tested-by: BuildkiteCI
Autosubmit: sterni <sternenseemann@systemli.org>
Reviewed-by: grfn <grfn@gws.fyi>
Reviewed-by: tazjin <tazjin@tvl.su>
2022-07-05 15:05:17 +00:00
sterni
49aee7a8f2 chore: remove sclf from the tree
SCLF is quite a big utility library (almost 3€ LOC) with limited
portability (CMUCL, SBCL and CLISP to an extent). Continuing to maintain
it is an unnecessary burden, as depot only uses a fraction of it which
is now inlined into the respective users (mime4cl and mblog).

In the future trimming down ex-sclf.lisp may make sense either by
refactoring the code that uses it or by moving interesting utilities
into e.g. klatre.

Change-Id: I2e73825b6bfa372e97847f25c30731a5aad4a1b5
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5922
Tested-by: BuildkiteCI
Autosubmit: sterni <sternenseemann@systemli.org>
Reviewed-by: sterni <sternenseemann@systemli.org>
2022-07-05 15:01:17 +00:00
Profpatsch
46f908c3c1 docs(users/Profpatsch/netencode): Parser security considerations
Netencode parsers should probably set an upper length limit.

Change-Id: Ibe65f2b59058106b720867a83435bf45660f1adf
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5908
Tested-by: BuildkiteCI
Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-07-01 12:37:32 +00:00
Vincent Ambo
aea54af52e feat(tazjin/nixos): always run powertop --auto-tune on laptops
Change-Id: I7c9e9617f646beaa4b5f0cdddd6e7946b18a7395
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5909
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
2022-07-01 12:28:39 +00:00
William Carroll
aaa0f92c45 feat(wpcarro/blog): Create short post about restic
Read the blog post for more information :)

Change-Id: I46a2f8ec9dc0a6546062e645f34186aa9195c70f
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5907
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-07-01 03:53:37 +00:00
William Carroll
043b220632 fix(wpcarro/blog): Remove 2x-titling
The blog functions render the title from `posts.nix` already.

Change-Id: I68b35039d6fbf3bc342cfe772e919d126f3ac08e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5906
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-06-30 20:09:41 +00:00
Profpatsch
8f55567cf2 feat(users/Profpatsch): add lorri-wait-for-eval
A small exec wrapper which will query the lorri daemon for the last
few events, and if it sees a build running for the current
project (searching upwards for shell.nix), it will wait for the build
to finish before executing the command (in the new direnv
environment).

TODO: should patch lorri so that it can provide this information in a
better digestive format; right now it might have a later evaluation
running, so it’s hard to know which completion to wait for …

Change-Id: I8fa4a10484830a731fe3ec58f2694498f46a496c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5903
Tested-by: BuildkiteCI
Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-06-30 09:09:23 +00:00
William Carroll
6d99b93f1a feat(wpcarro/website): Support SSL certs for wpcarro.dev
This has been sloppy for awhile...

While I'm at it modularize some of my Nginx configuration.

Side note: might be time to decouple the Terraform provisioning stuffs from the
NixOS configuration, and this feels *too* tightly coupled.

Change-Id: Ida0da5462d938b956571321a67ba1f026fb0a7de
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5902
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-06-28 17:37:40 +00:00
William Carroll
ab1984c8ac feat(wpcarro/blog): Create short post about C#
Inspired by Profpatsch's "Notes", here's a short post about a thing that
happened today...

Note: I'd like a way to convert `git log --format=%b` into blog
posts (maybe). Maybe some commit metadata like `POST=true`

Change-Id: I492c48c81891d9f64da8c8149d0d2bfa864ed731
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5889
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-06-27 18:28:54 +00:00
William Carroll
46ba96544a docs(wpcarro/rust): Tidy-up documentation width
Line was too long

Change-Id: I62c4454307f89e089f7d4cda0721f6b9d8029ced
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5900
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-06-27 18:20:53 +00:00
William Carroll
61458ac072 chore(wpcarro/rust): Include Cargo.lock
v0v

Change-Id: I0ce845e01bdb76e2894322c622919f0a24ffff7e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5899
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-06-27 18:11:50 +00:00
William Carroll
0ae6a441e6 feat(wpcarro/rust): Show 3/3 json examples
See git diff

Change-Id: Ic3100dbed09775113ddb055e6ba0d5cf900426d0
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5898
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-06-27 18:07:50 +00:00
William Carroll
c18ca0f852 feat(wpcarro/rust): Show 2/3 json examples
Documented in the module

Change-Id: I550c233c8116904a1f9cd6841ee778eb0abb540a
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5897
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-06-27 17:18:43 +00:00
William Carroll
8e9bfaba47 feat(wpcarro/rust): Show 1/3 json examples
See json/src/main.rs

Change-Id: I83ee6b762b741a05932832a9a87eb8161bb95d0f
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5896
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-06-27 16:25:37 +00:00
William Carroll
95f302f95d feat(wpcarro/rust): Create a sandbox for learning Rust
See README

Change-Id: I007a4d5c3b840986f6d3bc93aaa72d26daaa9b12
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5895
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-06-27 16:20:11 +00:00
William Carroll
cf91baa938 feat(ava): Set firewall.checkReversePath to "loose"
I was being warned while running `sudo rebuild-system`.

Change-Id: Ie8b730760e069086c2ef88f8edf00887cbbb5c93
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5627
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-06-21 19:56:37 +00:00
William Carroll
8e72ab6f42 feat(ava): Install ec2-api-tools
For AWS things (I'm finding the web UI pretty irritating).

Change-Id: Ic144a71eb6a6ca46f808f33b5d468eb5efe52355
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5626
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-06-21 19:56:36 +00:00
Profpatsch
7c0874c228 feat(users/Profpatsch/sync-abfall): caldav vdirsyncer config gen
Gonna have to generate some vdirsyncer config, reusing the toIni
stuff, nice.

Change-Id: I036ce9990f70d3b035e47151f336d0d3971f2c91
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5888
Reviewed-by: Profpatsch <mail@profpatsch.de>
Tested-by: BuildkiteCI
2022-06-19 13:29:02 +00:00
Profpatsch
3c3713c69f refactor(users/Profpatsch/aerc): move ini stuff out
First shot at generating a dhall FFI standard.

Change-Id: I1cdf7eeaa6b2668a49282315f308a8e51abd0cf6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5887
Reviewed-by: Profpatsch <mail@profpatsch.de>
Tested-by: BuildkiteCI
2022-06-19 13:29:02 +00:00