Commit graph

244 commits

Author SHA1 Message Date
William Carroll
504a409bd2 fix(wpcarro/diogenes): Launch billandhiscomputer.com
These are now available at https://billandhiscomputer.com. I still need to
update the website copy and transfer wpcarro.dev over from Google Domains. I
think I prefer billandhiscomputer (username bill, bill_and_his_computer,
bill-and-his-computer, the_real_bill), so I may deprecate wpcarro. We'll see...

Change-Id: Ia7831ee4813e2cf639047d22d59d302a50e06e66
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4748
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-01-08 05:31:51 +00:00
William Carroll
39e59c740d feat(wpcarro/diogenes): Nixify diogenes's Terraform configuration
TL;DR:
- Define googleCloudVM function to provision NixOS VMs on Google Cloud.
- Consume googleCloudVM in diogenes/default.nix
- Define README.md for basic usage instructions (subject to change).
- Delete diogenes's HCL
- Remove `diogenesSystem` from meta.targets

I'm still having trouble with DNS:
- I need to transfer the Google Domains config to Cloud DNS
- `host billandhiscomputer.com` is NXDOMAIN, so I don't trust my tf DNS config
- This is preventing me from getting SSL certs, which blocks my website, quassel

Change-Id: If315876c96298e83a5953f13b62784d2f65a1024
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4747
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-01-08 05:31:50 +00:00
William Carroll
c4dddb8481 fix(wpcarro/keys): Append wpcarro@gmail.com to SSH keys
I wasn't sure if removing the email portion would be a schema error, but NixOS's
GCE image relies on the tripartite structure, and maybe other things do too.

Change-Id: I1b045fad974a7227d1980fff19c9d4f48ba58356
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4746
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-01-08 05:31:49 +00:00
William Carroll
3198c39a66 feat(wpcarro/configs): Define configs/.gitconfig
On non-NixOS configs, `git` has been complaining about missing `--global`
variables for `user` and `email`.

TODO(wpcarro): Support this in google-briefcase instead.

Change-Id: Iae29fe9aaa6c13295063137f241eeb5861d4b244
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4792
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-01-08 04:28:36 +00:00
William Carroll
e7def7ed68 chore(wpcarro): Simplify README.md
I rewrote my `README.md` most recently to show some managers what type
of side-projects I was working on. After successfully transfering to SRE
internally, I don't need the `README.md` to be a marketing document but
rather a tutorial for my future self. This change is a step in that
direction.

Change-Id: Ieaf0e72c8a33a163e6b6adefd76665ca675e8462
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4791
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-01-08 04:28:35 +00:00
William Carroll
ce87105c6d refactor(wpcarro/configs): Nixify configs/{install,uninstall}
After receiving another computer from Google and attempting to "easily"
install my configuration, I realized that I had some holes. In reality
these could (and perhaps should) be easily tested using CI that attempts
to cleanly install my configuration on various platfoms (e.g. Debian,
NixOS), but I'm not interested in supporting something like that (at
least not at the moment).

For now, it suffices to nixify some of the lingering shell scripts with
implicit dependencies on tools like `stow`.

> Don't let perfect be the enemy of good?

Change-Id: Ifdeac2c855e46973e3a4ea416418109a748eb41d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4790
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-01-08 04:28:35 +00:00
William Carroll
4cf86f2e53 feat(wpcarro/scratch): Upload my solutions to cryptopals
More beginner problems/solutions for CTF-style challenges.

Change-Id: Ide229e99e3ccc1ede5a5ca1c2ad039498e49ea4c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4740
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-29 19:34:02 +00:00
William Carroll
5c0ec720af feat(wpcarro/scratch): Upload my solutions to picoCTF challenges
Just getting my feet wet...

Change-Id: Ia1db0c69fe7d5ea5cb5585853d0688ef97f2680a
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4739
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-29 19:34:02 +00:00
William Carroll
d3c20a44d3 feat(wpcarro/terraform): Attach 100GB external disk to VM
I'm mimmicking the setup of diogenes-1 until I switch everything over to the
terraform-defined diogenes.

Change-Id: Ic9b54909696616b5f206bbf982ff556f053c424e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4738
Tested-by: BuildkiteCI
Reviewed-by: zseri <zseri.devel@ytrizja.de>
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-29 18:51:58 +00:00
William Carroll
b810956802 feat(wpcarro/terraform): Support SSH
Supporting SSH turned-out to be a bit of a saga... Thank you @espes and @grfn
for the pointers.

Problem: When I originally setup my Google VM, I followed this tutorial,
https://nixos.wiki/wiki/Install_NixOS_on_GCE, so I ended-up installing
`nixos-20-03`: an older version of NixOS, (the newest version in `gsutils ls -l
gs://nixos-images`). Critically, I missed this important footnote:

> NOTE: Newer images (from 20.09 on) won't be available at the bucket above, and
> will instead need to be found at
> <nixpkgs/nixos/modules/virtualisation/gce-images.nix>.

It turns out that *newer* images include this script...
https://github.com/NixOS/nixpkgs/blob/master/nixos/modules/virtualisation/fetch-instance-ssh-keys.bash
...which reads the key, "sshKeys", from the Google metadata server and copies
the value into /root/.ssh/authorized_keys.

To make matters a bit misleading, the NixOS script expects the key to be
"sshKeys", but Google deprecated that in favor of "ssh-keys" (hence why both
versions appear in this commit).

TL;DR:
- upgrading to a newer NixOS image
- adding an empty access_config block so Google will assign my VM an external IP
- removing oslogin (not necessary to do, and I may add it back later)
- adding my public SSH key as metadata

Change-Id: If624fe77afd47b31fa7be0a1dd4a55512317eef0
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4737
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-29 18:49:57 +00:00
William Carroll
3681b0ce1d feat(wpcarro/marcus): Support home-manager
For now:
- git confg
- picom: X compositor
- dunst: system notifications (not working for quassel)

I still need to port various configs and ensure I support both gLinux and NixOS
machines.

Change-Id: I31a635eaacac25ef6219e079fc968d2ece026a5f
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4736
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-29 18:49:56 +00:00
Vincent Ambo
350c5eae46 style(wpcarro/terraform): Apply terraform fmt to files
This is going to be enforced in CI very shortly (it already kind of
was, but not really).

Change-Id: I8569d030e31230f077371bd1644b75f048271a0e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4728
Tested-by: BuildkiteCI
Autosubmit: tazjin <mail@tazj.in>
Reviewed-by: tazjin <mail@tazj.in>
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-28 12:57:53 +00:00
William Carroll
413c421e8b feat(wpcarro/terraform): Configure firewall
When I include "80" and "443" in the allowed TCP ports, the ports don't appear
to be open, but when I add the tags "http-server" and "https-server", which I
don't control, they do. I'm not sure what's going on, but I don't want to let
perfect be the enemy of good...

Change-Id: I46097a9d80708d14261b0af34c16ab1129aa8107
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4725
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-28 02:31:51 +00:00
William Carroll
3a85d8cede feat(wpcarro/terraform): Encode diogenes as terraform configuration
Some reference commands for my future self (blog post forthcoming?):

```shell
$ nix-shell -p google-cloud-sdk terraform
$ gcloud auth application-default login # stateful
$ terraform init
$ terraform apply
```

What's left for feature parity?
- Encode 100GB external disk as resource
- Encode firewall as resource
- Ensure marcus can SSH to instance

Stretch goals:
- Spin-up fully NixOS-configured instances

Change-Id: If156a5b0a2a0f8bfdf2548a4b5f592a77409fcb5
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4724
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-28 02:03:48 +00:00
William Carroll
c05c6920ee fix(wpcarro/blog): Fix broken post links
TL;DR:
- copy rendered posts to $out/posts
- update postUrl attr
- remove unused attrs

Change-Id: I027c20d6244e4626128788ad9aa1f1aad7855f32
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4723
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-28 00:20:38 +00:00
William Carroll
e107311cb8 refactor(wpcarro/website): Prefer substituteAll
`substituteAll` supports templating with @variables@, which I think really
cleans things up.

Change-Id: Icfad15ac9e174495ba02260d817f7330f1616c6f
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4722
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-28 00:09:36 +00:00
William Carroll
3d1519c384 chore(wpcarro/website): Archive dusty, old websites
Change-Id: I07b6e70ec4026644733e58a2c5f2aa6696a038f3
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4719
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-27 16:21:49 +00:00
William Carroll
1f8e606c12 fix(wpcarro/blog): Fix broken hrefs to blog posts
Remove remaining references to blog.wpcarro.dev

Change-Id: I364763459b195fc17753da4a7c5918ce5136e891
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4718
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-27 16:21:49 +00:00
William Carroll
1d4f88cbde feat(wpcarro/blog): Add a blog index page
TL;DR:
- Create an index page to list blog posts
- Drop blog.wpcarro.dev -> wpcarro.dev/blog
- Create fragments directory to host reusable static website components
- Consume fragments in wpcarro.dev and wpcarro.dev/blog for brand consistency

Change-Id: Ib8440300c008c3c0c5e5a6f207e4ea207dd41b47
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4717
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-27 16:02:47 +00:00
William Carroll
bb72d16cce refactor(wpcarro/blog): Prefer depot.web.blog
Hugo is a bit too heavyweight for my taste.

Change-Id: I331bc5898bd40f1a03bbde8ad69fe3cc9f72c18b
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4704
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-27 14:01:32 +00:00
William Carroll
4a84b4af26 feat(wpcarro/diogenes): Disable firewall 🔥
Rely on GCP's VPC configuration, which dedupes my configuration efforts.

Change-Id: Iab0751b2a73a4f41a82b2968ba6aa9ff73bf6ccc
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4691
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-27 02:49:16 +00:00
William Carroll
3b709761b5 feat(wpcarro/diogenes): Support mosh
Let's see what mosh is all about...

Change-Id: I0439130f55dc056370397c3e4ea8039f888703c3
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4690
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-27 02:41:15 +00:00
William Carroll
5600321d03 feat(wpcarro/website): Add slight horizontal padding for mobile 📱
The content needs small gutters to improve readability on my iPhone 12.

Change-Id: I751ae5387ad93c95729e642c21c37e481412c00e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4678
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-26 19:45:24 +00:00
William Carroll
7119918120 feat(wpcarro/website): Support drop-shadow on-scroll 📱
Thank you, Tailwind CSS, for making this easy.

Change-Id: I95f99bf480d78137797aef1e4d609acc509906a6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4677
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-26 19:31:22 +00:00
William Carroll
b97a8790ee feat(wpcarro/website): Add bottom padding to footer 📱
Breathing room

Change-Id: Ic7fe94194689a8a6189538487bb0ea82a4866c50
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4676
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-26 19:29:21 +00:00
William Carroll
c40d937023 fix(wpcarro/website): Link to //users/wpcarro instead of root
For depot link

Change-Id: Ia7f3edd5660a87ed4c6b15db60cbc3be033e1529
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4675
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-26 19:29:21 +00:00
William Carroll
35f0fffa58 fix(wpcarro/website): Adjust vertical padding in header
Looks better when scrolling on mobile.

Change-Id: Id5530ea12571e9470df0a76054c7426570c1a4e3
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4674
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-26 18:20:14 +00:00
William Carroll
e8087acc7d feat(wpcarro/website): Add responsive styling for mobile 📱
Pretty easy with Tailwind CSS

Change-Id: I2acf6ef3b093fbd604fb17ca5334c909e2e24b2d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4672
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-26 17:35:09 +00:00
William Carroll
a68fe5b636 fix(wpcarro/website): Add top-0 to 👋
Without this, the hand is properly position only some of the time... it's almost
quantum-like behavior ⚛

Change-Id: I7d5d9ed953f84bd097623e9f8abb1b2140c5bdc3
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4666
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-26 17:14:04 +00:00
William Carroll
9eb61fd959 feat(wpcarro/website): Revamp wpcarro.dev 🎉
- Include Tailwind CSS (use the CDN for simplicity)
- Update copy
- Add some easter eggs 🐰🥚

Change-Id: I329e3569506274f60faf1ac0b1e4a87e7e6c10f8
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4664
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-26 17:04:03 +00:00
William Carroll
80ef71e995 feat(ops/auto-deploy): Support auto-deploy
Automatically rebuild the current system's NixOS config from the latest checkout
of depot.

Change-Id: I23aa7af50e16e985ac34df214e0905e770316e5e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4390
Reviewed-by: wpcarro <wpcarro@gmail.com>
Reviewed-by: zseri <zseri.devel@ytrizja.de>
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-26 14:55:42 +00:00
William Carroll
1d10adb67c fix(wpcarro/diogenes): Admit traffic to wpcarro.dev:6698
It's difficult to know whether or not I need this. When I run the following
commands...

```
wpcarro@diogenes> nmap localhost
PORT     STATE  SERVICE
22/tcp  open  ssh
80/tcp  open  http
443/tcp open  https

wpcarro@diogenes> nmap wpcarro.dev
PORT     STATE  SERVICE
22/tcp   open   ssh
80/tcp   open   http
443/tcp  open   https
3389/tcp closed ms-wbt-server
```

...neither localhost nor wpcarro.dev reports 6698 being open even though 6698 is
configured to be open in both:
- diogenes/default.nix
- GCP console

Right now, quasselcore is WAI, so I don't want to invest more time into closing
this loop.

Change-Id: I3d68fd901314aa7d364abf9381dff101411e6d15
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4629
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-26 01:04:16 +00:00
William Carroll
e9400403a5 fix(wpcarro/quassel): Drop quassel.wpcarro.dev
Reuse acme cert for wpcarro.dev

Change-Id: I4768bbedf9dcf8d0e08fe02849357b311237cd61
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4613
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-25 21:18:42 +00:00
William Carroll
1ee31d67fc chore(wpcarro/emacs): Annotate (some of) my Emacs TODOs with wpcarro
...so that they can be properly tracked 🤓

Change-Id: I1e33bd5f0e0a114ef441a5f3f61f387b7afd8708
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4611
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-25 16:07:54 +00:00
William Carroll
9888a88198 chore(wpcarro/emacs): Drop support for lsp-haskell
1. This is spamming my Emacs's *Warnings* buffer on init.
2. I recall this being buggy.
3. I'm not doing active Haskell development at the moment.
4. I'd prefer code-intelligence efforts be put into SourceGraph.

Change-Id: I57ba28ec0b2fa3607cd67261a90d134107166c47
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4610
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-25 16:07:54 +00:00
William Carroll
76108fa7d7 fix(wpcarro/marcus): Prefer tzupdate 🌎
I couldn't get services.localtime to behave, but services.tzupdate WAIs. As long
as I have internet, my timezone on this laptop should synchronize with my
location.

Change-Id: Ie2fd0e742e080fb7d6dd1adcc87c9fd22eae032d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4609
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-25 16:07:54 +00:00
William Carroll
82871897a9 feat(wpcarro/nixos): Enable locate
Periodically run updatedb.

Change-Id: Ia1b70e84f991ae3b584b8479f59b45639cd28a59
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4603
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-25 16:07:54 +00:00
William Carroll
88189548ec feat(wpcarro/marcus): Enable localtime service
Ensure my laptop's timezone is updated as I move around.

Change-Id: Ifc2d1bbff2e59c0f7e0a3506152d720986ceab58
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4602
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-25 16:07:54 +00:00
William Carroll
d21bc0afc3 refactor(wpcarro/nixos): Define common.programs mixin
DRYing-up more configuration.

Change-Id: I390cedd6a325ac17ef06c0887d3e0ac2b387b85b
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4601
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-25 16:07:54 +00:00
William Carroll
4eb0dea713 refactor(wpcarro/nixos): Define common.services
DRY things up with this mixin.

Change-Id: I5791a50b01902734dff91d391e1aa90a21ce4fbb
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4600
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-25 16:07:54 +00:00
William Carroll
5a943eb2cd feat(wpcarro/diogenes): Set EDITOR
I should be doing most of my remote file editing using Emacs and Tramp, but
sometimes a CLI command triggers the EDITOR, which is `nano` by default. I can
control `vim` better than I can control `nano` within a vterm session, so I'm
trying this configuration for now.

Change-Id: I2023beadfe05a957bc5ddd6e6793a891521f301d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4599
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-25 16:07:54 +00:00
William Carroll
858dd2208f fix(wpcarro/emacs): Only render unicode emojis
Disable ASCII and Github styles.

Change-Id: Ie68fa2f0129573ea8b893db22214136d69429702
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4598
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-25 16:07:54 +00:00
William Carroll
8d64d1eeb0 feat(wpcarro/emacs): Support emojis in Emacs 🎉
The future has arrived...

Change-Id: Ib4e57018cbf9168e43f403e4e0b640d0e0035352
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4595
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-25 16:07:54 +00:00
William Carroll
979502335b chore(wpcarro/diogenes): Fix formatting
This is the result of `evil-indent` going wrong.

Change-Id: I8d68bcb790da03b974d478760bf1224b38d56249
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4594
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-25 00:12:21 +00:00
William Carroll
f65126a041 fix(wpcarro/diogenes): programs.fish.enable = true
Hopefully this installs the KBDs for fzf, which is already installed.

Change-Id: Ice7555c45d38e2e07f9fb16d3ddfc5b971c93cf6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4593
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-25 00:07:20 +00:00
William Carroll
c154e6689d refactor(wpcarro): Define common.shell-utils
DRYing up some of my configuration.

Change-Id: I137692789426efc6a6c6880029e605813674fdbe
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4592
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-24 23:56:18 +00:00
William Carroll
9e55784265 feat(wpcarro/marcus): Require python3
I use `python3` REPL as a calculator most often.

Side note: I don't have a clear model of which binaries belong in NixOS
configurations and which belong in my Emacs configuration. Here's a sketch of
what I'm thinking:

- shared (wpcarro's coreutils for fzf, ripgrep, git, etc)
  - marcus
  - diogenes
  - wpcarros-emacs (see footnote)

Footnote: It might be redundant to install wpcarro's coreutils in Emacs on NixOS
environments, but I install wpcarros-emacs in non-NixOS environments, so I
depend on them there.

Change-Id: Ib2b87c8e4e04d167ccbf837e0f85606cbf272828
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4591
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-24 23:56:18 +00:00
William Carroll
20bd01db88 feat(wpcarro/emacs): Require ispell dependency
Also sort my dependencies, which is why this diff is noisy.

Change-Id: I998ca354d94d4c6283f9fdf76b06c08b9972ced5
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4590
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-24 22:41:10 +00:00
William Carroll
9df5610cb7 feat(wpcarro/emacs): Support wpcarro@wpcarro.dev in ssh.el
I'm accustomed to using vim in a GUI terminal to edit remote files. I'm trying
to ween-off of this dependency in favor of using Emacs.

Change-Id: Ib71d18135a7a9ef6ef61dfce814fffbea79a36f7
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4589
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-24 22:41:10 +00:00
William Carroll
ad57a833c8 feat(wpcarro/diogenes): Install dig
I'm pretty often using dig server-side.

Change-Id: I030b52875e13cac7ec7a5e7658db2e09ec5afba9
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4582
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-24 18:17:35 +00:00
William Carroll
fcb1c375fc feat(wpcarro/diogenes): Enable ssh-agent
Change-Id: I38fe1fcf4be2423acc29c43449cb778c8890df01
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4581
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-24 18:17:35 +00:00
William Carroll
fbfce6c2a0 feat(wpcarro/irc): Support Quassel client/server
- server: diogenes
- client: marcus

Change-Id: Ifc3a58370f6d68aec35ef363a40d03a8429f8012
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4579
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-24 18:11:34 +00:00
William Carroll
003cfa3e08 fix(wpcarro/emacs): Disable ligatures
Trying to render ligatures (e.g. ->, <>) in the modeline causes Emacs to crash,
so I'm disabling ligatures.

I have a patch like this on my work machine. I'll eventually merge those commits
into depot, but that will have to wait until I'm back in California.

Change-Id: I5e408cbdb717d24c7d5f88b4c822bdf32f370eef
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4568
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-24 17:32:24 +00:00
William Carroll
286e24c76f refactor(wpcarro/emacs): Prefer tvl-depot-path reference
Instead of homegrown constants-depot (which doesn't even exist).

Change-Id: Iabb5f5f5bbb589bb07f9fc0921d75acd9396793e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4567
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-24 17:32:24 +00:00
William Carroll
88ed680b21 refactor(wpcarro/depot): mv ~/depot /depot
Prefer the canonical location for depot.

Change-Id: If175e150734f6c97ef5e0676565c9a5d97fb69ab
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4565
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-24 17:32:24 +00:00
William Carroll
36844bc134 refactor(wpcarro/emacs): Remove unnecessary buffer fn in vterm-mgt
The call to `buffer-find-or-create` is unnecessary.

Change-Id: Ieb959c35123186a29da1b7f0955ceb96c9e6dab3
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4564
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-24 16:59:22 +00:00
William Carroll
5159413681 fix(wpcarro/emacs): Debug vterm-mgt.el
TL;DR:
- vterm-mgt-repopulate-cycle -> vterm-mgt-reconcile-state
- call vterm-mgt-reconcile-state everywhere to ensure state is consistent
- prevent vterm from swalling EXWM KBD (C-S-f)
- support vterm-mgt-select
- prevent type error in cycle-append
- pass t to (vterm t) to ensure it isn't a find-or-create

Change-Id: I0f6d20b8d4b7533c7f56baf796ca3467a85ec770
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4563
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-24 16:54:21 +00:00
William Carroll
e46521dce1 fix(wpcarro/emacs): Ensure tab-width=2
- Set global tab-width
- Set golang-buffer-local tab-width

Change-Id: Ifa21f4e5a4c5e00d2355cd0dfecfb9b24597da57
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4549
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-24 02:23:53 +00:00
William Carroll
52cd4f82fb refactor(wpcarro): Remove DESKTOP, LAPTOP env-var deps
Looks like symlinkManager is the only code depending on these variables, and the
dependency seems obsolete.

Change-Id: I7abe3c404ec9141f28e3eacd88388fb96ec2de88
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4548
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-24 02:19:52 +00:00
William Carroll
cdf8ed9d56 feat(wpcarro/marcus): Install tree
Change-Id: Iadbfec6be914c5b279317df1b039cb3a78ca22a6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4547
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-24 01:50:49 +00:00
William Carroll
c1e381eecc refactor(wpcarro): Remove briefcase references
TL;DR:
- prefer WPCARRO env-var to BRIEFCASE
- remove repository URLs from Emacs libraries
- prefer tvl-depot-path where possible
- reduce the scope of constants.el
- prune (some not all) stale CI configuration

Change-Id: I21e9130402502ec6fa2fc4b46753c890069be62d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4545
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-24 01:46:31 +00:00
William Carroll
87981e7afd refactor(wpcarro/socrates): Delete socrates
A brief eulogy:

Socrates was an Acer laptop that I bought at a used electronics shop in London
for 100 quid.

The laptop is no more...
it is perished...
it is deceased...
it's not pining for the fjords!
it is stone dead...

Change-Id: Ia00e9e8fa05b9faa54c27fe86d880ad31402e2c6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4546
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-23 23:39:32 +00:00
William Carroll
9b2163cb32 feat(wpcarro/marcus): Configure ssh-agent
- start ssh-agent
- automatically call `ssh-add` after prompting for a password

Change-Id: Ie4319b18923a1439033ee1bae112889fce0930d6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4544
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-23 21:41:20 +00:00
William Carroll
75cbe36dd7 feat(wpcarro/marcus): Disable touch-screen
I don't want this feature.

Change-Id: Ibd647e99ee18ef25f43748ffc83cea1ba11c36ea
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4543
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-23 17:32:56 +00:00
William Carroll
3188fcb3cb fix(wpcarro/emacs): Add missing :config to use-package for tvl.el
This should prevent me from manually calling `(require 'tvl)`.

Change-Id: Idacd8c01aa037fa81b7457e022964f9f8bc9a49f
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4542
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-22 17:48:35 +00:00
William Carroll
8f28b827a4 fix(wpcarro/website): Remove stale entries from sitemap
Dropping:
- {learn,sandbox}.wpcarro.dev
- Twitter (no longer using it)

Change-Id: Iadff7ade8147c741d9dd2c4b71e4fc74aff5bf5a
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4541
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-22 15:37:22 +00:00
William Carroll
eb8b9ab9d6 fix(wpcarro/diogenes): Reset wheelNeedsPassword to false
I unintentionally removed this when configuring the `security.acme` fields.

Change-Id: Idfeed018065ab9a0bc84a074094f6e451f4e1bfb
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4521
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-21 23:28:45 +00:00
William Carroll
e879c76778 feat(wpcarro/diogenes): support wpcarro.dev
TL;DR:
- support wpcarro.dev
- support blog.wpcarro.dev
- journaldriver (need to figure out how to install key.json)

Change-Id: I585008b6af74c58bbf831765e800323dabb2272c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4389
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-20 03:09:31 +00:00
William Carroll
9b2259a60d feat(wpcarro/marcus): Ensure EDITOR is set to Emacs
I should've done this awhile ago. I'm tired of having `nano` open in vterm
instances.

Change-Id: I784e4a7a3e8acba11105052b6c0fe1f6f9ac614b
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4512
Reviewed-by: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-20 03:02:00 +00:00
William Carroll
3359f52806 feat(wpcarro/emacs): Prefer light colorscheme
While I'm in Saint Lucia :)

Change-Id: I0e3b13d31e5fff7fa76e69adbd191716fb713325
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4422
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-20 03:01:48 +00:00
William Carroll
3324210c0a fix(wpcarro/marcus): Add wpcarro to networkmanager
This allows me to (e.g.) connect to wifi without being root.

Change-Id: Iba2e8516aa7a9d24e52d7afa0de0c4f31e39be16
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4421
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-20 03:01:34 +00:00
William Carroll
4ae730b7f4 feat(wpcarro/marcus): Install pavucontrol
On the fifth day, there was sound.

Change-Id: Idf0d3f06afa45311c360663da42fb3ed355344bd
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4420
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-20 03:01:23 +00:00
William Carroll
c435cf754c feat(wpcarro/marcus): Set wheelNeedsPassword = false
Removing some keystrokes from my life at the cost of security. Thoughts,
comments, and concerns are welcome!

Change-Id: I04d877021c4ce15a4d432a6a73e38e60878521aa
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4419
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-20 02:36:46 +00:00
William Carroll
7285ac9327 feat(wpcarro/marcus): Install telegram
More messaging clients :wahoo:

Change-Id: I005f6ba0514af60b58ee0a33357b5ad60660a49c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4418
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-20 02:36:16 +00:00
William Carroll
3e501eabb5 fix(wpcarro/emacs): Ensure laptop battery shows in modeline
TL;DR:
- support marcus and diogenes in device.el
- define and consume device-laptop? fn

Change-Id: Ia6e1c2666cbd668466ef6b64a7c274d36b79d699
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4392
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-20 02:25:35 +00:00
Vincent Ambo
562236085b style: format all Go code
The code in //users/wpcarro/tools/monzo_ynab/ynab/client.go was not
valid Go and has been commented out.

Change-Id: Icb4003607f30294dcbf60132eb7722702c7f0d84
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4400
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-12-19 18:05:04 +00:00
William Carroll
06a20ba3df fix(ops/diogenes): Ensure diogenes builds
diogenes "passed" CI because the file was named configuration.nix
(vestage from the NixOS default /etc/nixos/configuration). This CL fixes
some issues I encountered after running depot/bin/rebuild-system.

TL;DR:
- rename configuration.nix -> default.nix to trigger CI
- add diogenes to my systems
- add public SSH key

Change-Id: I24197b8936c201267db6f71f00099dce590eac1d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4388
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Reviewed-by: tazjin <mail@tazj.in>
Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-17 22:12:40 +00:00
William Carroll
47830f9d63 feat(wpcarro/marcus): Prefer light to xbacklight
TL;DR:
- Enable light (let there be light!)
- Refactor screen-brightness.el

TIL: `nixos-options programs.enable.light` outputs docs from the command-line
Change-Id: Ib60a9b3c9b7f6f96fda29fce1a97ca9995822048
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4385
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
9c9a88de87 feat(wpcarro/marcus): Add some TVL goodies
TL;DR:
- enable TVL cache (ty @grfn)
- enable automatic-gc (ty @tazjin)

Change-Id: I2c7def718f10d90c6921461c6135f18358e33198
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4362
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
9c4e34bde6 feat(wpcarro/diogenes): Add diogenes to the depot
Incoming!

Change-Id: I12f9202fea8eb834d40de43109871aef2085416e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4361
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
bfb43161e5 feat(wpcarro/nixos): Define keys.nix
This opens the door for a whole bunch of neat features.

Change-Id: I15066ca9d8fe38921ebc8c4e995bd282162a4577
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4359
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
f0c29e6c32 refactor(wpcarro/nixos): Rename installer -> iso
Right now this is just a sketch for a larger idea of writing a binary called
`create-installer` (see docs).

Change-Id: Ib8e2acfd5d350ccc344329d87983c415f166d02b
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4358
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
305d813a2b feat(wpcarro/emacs): Install tvl Elisp
All I know is that this extends my magit configuration for Gerrit support.

Change-Id: I35c9a264ff25ce6e08b7033e0e022d4047021f05
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4357
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
14d5dcbe8f fix(wpcarro/emacs): Don't require evil-magit
It's part of `evil-collection` now :)

Change-Id: Id69db08e538d10e46dc63c979d232aeb1a639f32
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4356
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
dccfdef522 feat(wpcarro/emacs): Prefer doom-peacock theme
Tis the season for a dark theme

Change-Id: I3a0354a3eaa4294e51f14e5af52a12be01e89300
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4355
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
ec76f6264d feat(wpcarro/marcus): Install xsecurelock
TL;DR:
- Install `xsecurelock`
- Support screen-locking for personal (and corporate) devices

Change-Id: Ife2ead109c60b69b817775d8d6524c6aece5f376
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4354
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
854dcbc55e feat(wpcarro/marcus): Disable natural scrolling
Something about the end-result of this doesn't feel quite natural to me.

Change-Id: Idaa7a991893d386110bd75f9288b4c3831a59cae
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4353
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
53e070fa24 chore(wpcarro/marcus): Format hardware.nix
Make some of the auto-generated code look a bit more like human-generated code.

Change-Id: I07f543b66275dc8be9db6d8106ef6045541574d3
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4352
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
1ca4c6d2be feat(wpcarro/marcus): Add marcus to the depot
me: marcus, meet depot. depot, meet marcus.
Change-Id: Ic6a25ac85e4c7f6dfea2a42b46a4400f92df70a2
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4351
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
2021-12-16 22:07:02 +00:00
Vincent Ambo
d292f899f9 fix(users/wpcarro): Delete and/or fix broken targets
(we're doing this over GVC)

Co-Authored-By: William Carroll <wpcarro@gmail.com>
Change-Id: I7a65ee8b99c30366f73b4e5f0e22d9c2af6e2f1e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4336
Autosubmit: tazjin <mail@tazj.in>
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-15 17:29:07 +00:00
William Carroll
b6d143e5d2 fix(wpcarro/nix): Remove <briefcase> references
Angle-bracketed references are a Nix anti-pattern, and thankfully this
repository enforces this as a standard.

TL;DR:
- Drop angle-bracketed references
- Change `briefcase` -> `users.wpcarro`
- Fix any resulting regressions
- Fix //users/wpcarro/tools/simple_vim
- Mark //users/wpcarro/boilerplate/typescript and related projects
  as broken
- drop .skip-subtree file, enabling depot CI

Change-Id: I7153cbabafa617bfd6b199370cbec65cb75441f6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4325
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Reviewed-by: tazjin <mail@tazj.in>
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-15 15:49:40 +00:00
Vincent Ambo
b0614b5c83 refactor(3p/lisp): Move things from //users/wpcarro/third_party/lisp
* move packages and adapt them for the depot structure instead of
  briefcase
* drop linear-programming package, it didn't build anyways

Note that at least some of these packages (e.g. prove) are deprecated
upstream, but lets sort that out later.

Change-Id: I7f5a5faa29d57f060b21ac8e1706090866a82000
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4330
Autosubmit: tazjin <mail@tazj.in>
Reviewed-by: grfn <grfn@gws.fyi>
Reviewed-by: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-14 21:21:53 +00:00
William Carroll
8f1b1c94d2 feat(users/wpcarro): add OWNERS file
Change-Id: Id6eeee0f97b9a7195664e5c2434e9d545929a042
2021-12-13 23:23:45 +00:00
Vincent Ambo
019f8fd211 subtree(users/wpcarro): docking briefcase at '24f5a642'
git-subtree-dir: users/wpcarro
git-subtree-mainline: 464bbcb15c
git-subtree-split: 24f5a642af
Change-Id: I6105b3762b79126b3488359c95978cadb3efa789
2021-12-14 02:15:47 +03:00