Commit graph

99 commits

Author SHA1 Message Date
Griffin Smith
4c340cbeb8 feat(gws.fyi): Reimport cert after renewing
Change-Id: Iebd5c9bc3a62838a862cc4b37b2f43f62ad8018e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1213
Reviewed-by: glittershark <grfn@gws.fyi>
Tested-by: BuildkiteCI
2020-07-16 15:46:16 +00:00
Griffin Smith
a87de918af fix(gs/emacs): Prevent accidentally sending :q
If I try to send a message containing :q to ERC, just drop it.

Change-Id: I563044f0b837e2dbf4d5db94f9e906196ca91b49
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1211
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-16 15:20:19 +00:00
Griffin Smith
3bf0e2bddc feat(gs/home): Install hyperfine
Change-Id: Ia29e6c2c73d222496b7315d5a640e055fe908c25
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1178
Reviewed-by: glittershark <grfn@gws.fyi>
Tested-by: BuildkiteCI
2020-07-15 18:06:54 +00:00
Griffin Smith
1fd34a82cb feat(gs/home): Add config for email notifications
This uses the notifymuch package pulled from
https://github.com/NixOS/nixpkgs/pull/92797 right now, but eventually I
would like to pull from a vendored version since there are some changes
I would like to make to how the notifications are rendered and it looks
like upstream is unmaintained.

Change-Id: I3d1d355a09171a33677f095aa068f2499d50b37b
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1177
Reviewed-by: glittershark <grfn@gws.fyi>
Tested-by: BuildkiteCI
2020-07-15 18:06:54 +00:00
Griffin Smith
104bf18461 fix(gs/i3): remove implicit dependency on picom+peek
This was done originally to make the snippet shareable, but is nice
regardless.

Change-Id: Ie51302a020cbb262b1e802e94786ebb8a9f843c8
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1170
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-14 19:42:24 +00:00
Griffin Smith
cbbb7a37d5 feat(gs/i3): Add volume to i3status
Change-Id: I1d3081653b0e69bce88673a4d4edf16cb483f681
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1169
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-14 19:42:24 +00:00
Griffin Smith
0485515a06 feat(gs/system): configure whitby as a remote builder
big cores wow

Change-Id: I0fa14834365202f1c9a8ff69243f129c8acfe13d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1168
Reviewed-by: glittershark <grfn@gws.fyi>
Tested-by: BuildkiteCI
2020-07-14 19:42:24 +00:00
Griffin Smith
2abccc22ac chore(gs/system): reformat tvl.nix
Change-Id: Icc2f953450956a01b32872e6575976e49f1be0b4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1167
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-14 19:38:01 +00:00
Griffin Smith
8a7f0beb86 feat(gs/emacs): Configure for C++ development
Vendor the google-c-style module, and configure lsp-mode to run the
clangd wrapper script for hacking on tvlnix

Change-Id: I8d1ac2f30c9708501e0840ef3d53fe479bc39fa7
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1166
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-14 19:38:01 +00:00
eta
209f8ef79f feat(owothia): make more things configurable, better
- You can now configure server, port, password, nickserv password, and
  nick.
- eta doing haskell: https://theta.eu.org/lx/selif/8pu34rll.jpg
  - (props to grfn for basically writing half this CL)

Change-Id: I128ae01f5879df730a6404402ef16bf1f3429f98
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1164
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-14 17:58:50 +00:00
Griffin Smith
7986b93a35 feat(gs/home): Install C++ development tools
Change-Id: I959e257e4c2f7c640bedfe5f8385f33ff02215d4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1136
Reviewed-by: glittershark <grfn@gws.fyi>
Tested-by: BuildkiteCI
2020-07-13 23:53:00 +00:00
Griffin Smith
cc12188d31 feat(gs/home): Integrate home-manager with depot
Essentially the same as for nixos, so I can get whitby to compile stuff
for me. Eventually I'll generalize this so things aren't as hardcoded to
my particular setup, but for now I'm the only one in the depot who's
using home-manager so this should be fine.

Change-Id: I1cb0344f5a11eea68bddc98976999c0928dfa84e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/937
Tested-by: BuildkiteCI
Reviewed-by: lukegb <lukegb@tvl.fyi>
2020-07-13 23:41:23 +00:00
Griffin Smith
2832ea43ea feat(owothia): Add realname
Change-Id: Ica75f7ec2f849431ebc5c4d1c299f61969bee03e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1135
Reviewed-by: glittershark <grfn@gws.fyi>
Tested-by: BuildkiteCI
2020-07-13 19:13:26 +00:00
Griffin Smith
6c98805500 feat(owothia): Remove stopwords
Remove a (currently rather brief) list of stopwords from the verbs
considered for owo'ing. The specific case I wanted to remove here is the
verb "'s" from a contraction (there have been a fair number of "'s me
owo") but I've added a few more just for good measure.

Change-Id: I53994663db1f8767ec5dc3ddc58dd35fb6cd6d70
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1134
Reviewed-by: glittershark <grfn@gws.fyi>
Tested-by: BuildkiteCI
2020-07-13 19:13:26 +00:00
Griffin Smith
4e52e2bd3d chore(owothia): ignore build directory
Change-Id: I5381a1a90323e7d15e47963b99d8c3ec65a53673
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1133
Reviewed-by: glittershark <grfn@gws.fyi>
Tested-by: BuildkiteCI
2020-07-13 17:51:16 +00:00
Griffin Smith
68df913b8a feat(owothia): Make chance configurable
Make the chance of an owo configurable via an _OWO_CHANCE env var.

Change-Id: Ia4d0e426b2825c6a7becc073ff99ae8037637032
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1132
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-13 17:42:48 +00:00
Griffin Smith
2eb90cbca1 feat(owothia): Add owothia
Add owothia, an irc bot that picks a random verb out of a random subset
of messages and replies with a message of the form "<verb> me owo".

it's incredibly messy, full of warnings, includes a *number* of harcoded
things, but also is hilarious.

Change-Id: I73cacd533bbbff9e753d1e542308da25247a7034
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1063
Tested-by: BuildkiteCI
Reviewed-by: lukegb <lukegb@tvl.fyi>
2020-07-13 17:31:32 +00:00
Griffin Smith
e63b0ea892 fix(gs/emacs): Trim input strings for ERC
I send a lot of accidental newlines after messages because my muscle
memory is very intent on hitting "o" to get into insert mode.

Change-Id: Iecd469d1d8d2053e68837b3b65399cb272d7fc29
Reviewed-on: https://cl.tvl.fyi/c/depot/+/958
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-09 14:51:37 +00:00
Griffin Smith
df80e19bf5 refactor(gs/emacs): Use IRCCloud bouncer
Not using znc.gws.fyi anymore

Change-Id: I6461096c949d68fdb0a061359e7273ccae9f5fef
Reviewed-on: https://cl.tvl.fyi/c/depot/+/955
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-08 20:20:54 +00:00
Griffin Smith
37ec60c706 feat(gs/i3): Add dottime to status bar
woooo dottime

Change-Id: I41ea0ca70c38e16d716a172c2d2b4d3f983f6e5f
Reviewed-on: https://cl.tvl.fyi/c/depot/+/954
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-08 15:59:53 +00:00
Griffin Smith
90f23b8de1 fix(gs/emacs): Add org files to agenda recursively
Apparently just putting the directory in there only sees top-level
files, rather than descending a directory.

Change-Id: If9febb37f59754bcfe442fb413df475d83e0193f
Reviewed-on: https://cl.tvl.fyi/c/depot/+/949
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-06 22:55:39 +00:00
Griffin Smith
0dfea78424 feat(gs/keyboard): Add the start of an FPS layer
Not having space on my left hand is definitely not great for FPSes

Change-Id: Ie69201c5a3a2696a7d606be3979e1bfa11eb261a
Reviewed-on: https://cl.tvl.fyi/c/depot/+/948
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-06 22:52:02 +00:00
Griffin Smith
9ec0f4d0c8 feat(gs/keyboard): Integrate my layout with the depot
Integrate the keyboard layout for my Ergodox EZ, which is a layout for
QMK, with the depot, including exposing several cross-compilation
packages necessary to compile qmk for avr in third_party.

Change-Id: Idd43169a0a3cf0be2bd1a578fdaff70388a58bfc
Reviewed-on: https://cl.tvl.fyi/c/depot/+/947
Tested-by: BuildkiteCI
Reviewed-by: tazjin <mail@tazj.in>
2020-07-06 22:52:02 +00:00
Griffin Smith
9e622eceae refactor(gws.fyi): Register GC roots
Don't want this getting GCed in between execution, so remove
--no-out-link from the nix-build invocation.

Change-Id: Ib786d46f84938f45f51823781eecb88338120526
Reviewed-on: https://cl.tvl.fyi/c/depot/+/943
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-06 15:34:04 +00:00
Griffin Smith
b608c4ef25 refactor(gws.fyi): update freenode nick
Change-Id: Id1107c13f10726ecb8a14c14e6532c17f0b5c54a
Reviewed-on: https://cl.tvl.fyi/c/depot/+/942
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-06 15:31:43 +00:00
Griffin Smith
b13da9ebdd refactor(gws.fyi): Point to sourcegraph
Change-Id: I658ca00a9e5cdf69e884edb872816c192f794683
Reviewed-on: https://cl.tvl.fyi/c/depot/+/941
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-06 15:31:43 +00:00
Griffin Smith
a73714a93c feat(ops/nixos): Add generic rebuild-system script
This adds a first crack at one idea for a generic, non-user-specific
rebuild-system script to ops.nixos.rebuild-system. The idea here is that
we enumerate all the nixos systems stored in the monorepo (similarly to
what we do for ci-builds right now) then search through them by hostname
to find the one matching the hostname of the current system, which is an
attempt at a more generic version of tazjin's rebuilder script which
does the same thing but with an explicit case block.

As a caveat, it feels like there's a slight possibility that this way of
finding systems is going to get slow to evaluate - on my system it feels
fine but if it grows out of hand it's probably feasible to just bake
this into the built script as a dynamically generated case statement.

Change-Id: I2e4c5401913b6f4d936ab48ba2f95f96e0e78eb4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/894
Tested-by: BuildkiteCI
Reviewed-by: lukegb <lukegb@tvl.fyi>
2020-07-06 15:16:36 +00:00
Griffin Smith
8bcdff263c refactor(gs/emacs): Break email config into its own file
Change-Id: I90327cbd2d8a735cdedae7f7b5412959cf710aef
Reviewed-on: https://cl.tvl.fyi/c/depot/+/938
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-06 15:09:59 +00:00
Griffin Smith
8545a61775 feat(gs/emacs): Run hlint after lsp
Change-Id: I57413e181354014eee2da7564ac3676b840dee94
Reviewed-on: https://cl.tvl.fyi/c/depot/+/913
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-04 15:30:52 +00:00
Griffin Smith
020f6081cd feat(xan): Install hlint in shell
Change-Id: I93035bc05ff7f47515efe18703f296129ed9e7f8
Reviewed-on: https://cl.tvl.fyi/c/depot/+/911
Reviewed-by: glittershark <grfn@gws.fyi>
Tested-by: BuildkiteCI
2020-07-04 15:30:52 +00:00
Griffin Smith
9b8d3185fe refactor(xan): Switch to V2 over tuples most places
These are generally rather nicer to work due to some typeclass instances,
and integrate better with other ecosystems for things like linear
algebra etc.

Change-Id: I546c8da7b17234648f3d612b28741c1fded25447
Reviewed-on: https://cl.tvl.fyi/c/depot/+/910
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-04 15:30:52 +00:00
Griffin Smith
ca03175e31 fix(gs/emacs): Ensure we run hls from the right dir
Xanthous specifically breaks pretty majestically if it's built from
anything but a source dir, due to the TH splices we're doing to embed
messages.yaml files - this does some extra shuffling to make sure we
always cd to the project directory when running haskell-language-server

Change-Id: I6daee712f04b96d5755dcbc3dbad4c7b78a46f61
Reviewed-on: https://cl.tvl.fyi/c/depot/+/905
Reviewed-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
Tested-by: BuildkiteCI
2020-07-03 23:23:03 +00:00
Griffin Smith
6480a81c16 feat(xan): Use haskell-language-server
Use haskell-language-server instead of haskell-ide-engine for Xanthous.

Change-Id: I7ef1433d5cd561e659fc06b3f373a6f29dfa5690
Reviewed-on: https://cl.tvl.fyi/c/depot/+/904
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
Reviewed-by: BuildkiteCI
2020-07-03 23:23:03 +00:00
Griffin Smith
26bb34823d fix(xan): Don't allow looking at invisible things
Extract the conditional we're using to decide whether or not to render a
given entity at a position, and use that when getting the list of
entities to describe as a result of the "Look" command.

Change-Id: I1ec86211c2fcbd984dd52338fb5631667c22c723
Reviewed-on: https://cl.tvl.fyi/c/depot/+/903
Reviewed-by: glittershark <grfn@gws.fyi>
Reviewed-by: BuildkiteCI
Tested-by: BuildkiteCI
2020-07-03 17:47:45 +00:00
Griffin Smith
361ffd42d7 feat(gs/home): Make groc alias autostash
Change-Id: I8ce5ca50d90ed092e92ea7c1c2eaf796e56659d4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/902
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-03 16:42:14 +00:00
Griffin Smith
73f8121f28 feat(gs/home): Some new haskell aliases
for cabal 3 commands that are runnable without new- or old-

Change-Id: Ib00c8654c40c47482e06aec9dd1454dacce42971
Reviewed-on: https://cl.tvl.fyi/c/depot/+/901
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-03 16:40:34 +00:00
Griffin Smith
284eafe0b5 feat(gs/home): alias groc = git rebase origin/canon
Change-Id: I3e5a8d234fdac9f0a2f1d440ed7dea458663ae61
Reviewed-on: https://cl.tvl.fyi/c/depot/+/900
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-03 16:36:08 +00:00
Griffin Smith
d1db50ab64 feat(gs/system): Add whitby to trustedBinaryCaches
This is needed as well to use it as a substituter it seems

Change-Id: I6cefbccef2a61d665209131084bc58d7b56645f9
Reviewed-on: https://cl.tvl.fyi/c/depot/+/899
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-03 16:33:07 +00:00
Griffin Smith
6e7200cf4e refactor(gs/system): Don't use whitby as a remote builder
Right now it looks like the time to copy data between local and whitby
essentially eliminates any benefit to using it as a remote builder.
Which is a shame, but ah well.

Change-Id: I71dc4782992a28b196e262d40acc1bbc0b883529
Reviewed-on: https://cl.tvl.fyi/c/depot/+/898
Reviewed-by: glittershark <grfn@gws.fyi>
Reviewed-by: BuildkiteCI
Tested-by: BuildkiteCI
2020-07-03 16:33:07 +00:00
Griffin Smith
2900768656 feat(gs/system): Add public keys for whitby
Change-Id: I138ccbd7da9849025f1f59dfe948cfb7a5684b6d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/896
Reviewed-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
Tested-by: BuildkiteCI
2020-07-03 15:11:05 +00:00
Griffin Smith
2ec3254f85 feat(gs/emacs): Update hie invocation for depot
Update the invocation of the hie.sh script as part of
+grfn/haskell-mode-setup to be compatible with the new depot-integrated
xanthous.

Change-Id: Ia3ef50fb08464a533efdfed4da66e2be00446ea6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/891
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
Reviewed-by: BuildkiteCI
2020-07-03 14:41:36 +00:00
Griffin Smith
6f808dfe18 refactor(xan): Simplify build infrastructure
Simplify the build infrastructure for creating shells etc. for xanthous,
including relying more heavily on stuff exposed in Depot anyway, using
shellFor in the shell.nix, and using the haskell.nix branch of all-hies
for a significantly simpler build. At some point the all-hies stuff will
likely want to be promoted up to //third_party, but for now it's
experimental enough that I don't want to bother other people with it.

Change-Id: I43830de73830fdc07d48af9b87d7930f59599532
Reviewed-on: https://cl.tvl.fyi/c/depot/+/890
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
Reviewed-by: BuildkiteCI
2020-07-03 14:41:36 +00:00
Griffin Smith
c0922e4906 fix(xan): Remove unused imports
GHC 8.8 is better at detecting unused imports, it seems - all of these
are new warnings that fail under -Werror

Change-Id: I1357094d715483612deb0db4a75b3e4f8f27d2e3
Reviewed-on: https://cl.tvl.fyi/c/depot/+/889
Reviewed-by: glittershark <grfn@gws.fyi>
Reviewed-by: BuildkiteCI
Tested-by: BuildkiteCI
2020-07-03 14:41:36 +00:00
Griffin Smith
beb29128b6 fix(xan): fix compat with new base+ghc
A couple of changes necessary to get things working with both ghc 8.8.3
and the new base:

- Explicitly import fail from Control.Monad.Fail in the prelude, since
  it's there instead of the base prelude now
- GHC no longer allows type family equality constraints in quantified
  constraints - which is a bummer - but is avoidable in the one case
  where it was happening
- Explicitly import a constructor from Data.List.NonEmpty

Change-Id: Ia06fc724ddc2d6a3f9024c047ed55eea40bcf408
Reviewed-on: https://cl.tvl.fyi/c/depot/+/744
Tested-by: BuildkiteCI
Reviewed-by: BuildkiteCI
Reviewed-by: Profpatsch <mail@profpatsch.de>
2020-07-03 14:41:36 +00:00
Griffin Smith
96fa6c465b fix(xanthous): re-add comonad-extras dep
Change-Id: Ie148acf179e3aae304410a588c87ee83e04aafa7
Reviewed-on: https://cl.tvl.fyi/c/depot/+/741
Reviewed-by: BuildkiteCI
Reviewed-by: Kane York <rikingcoding@gmail.com>
Tested-by: BuildkiteCI
2020-07-03 14:41:36 +00:00
Griffin Smith
44dfc50e2a chore(xan): Gitignore data directory
I'm using this dir to store save files that are particularly
interesting, eg bug reproductions etc.

Change-Id: Id6a805d85b3ea2e1171ea3af96303f05c2468070
Reviewed-on: https://cl.tvl.fyi/c/depot/+/893
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-03 03:35:05 +00:00
Griffin Smith
265d40ea52 fix(gs/emacs): Fix jsonnet-mode map invocation
Only want to map in normal mode

Change-Id: I5034af2a4828c61cd46f68451485a8a90cba7085
Reviewed-on: https://cl.tvl.fyi/c/depot/+/892
Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-03 03:27:58 +00:00
Griffin Smith
0ef2696564 feat(gs/system): Add whitby as a binary cache
This appears to be working! which is nice.

Change-Id: I06f8d2ff4e9b313073cb76c77a8a9bed0cb52516
Reviewed-on: https://cl.tvl.fyi/c/depot/+/887
Reviewed-by: glittershark <grfn@gws.fyi>
Reviewed-by: BuildkiteCI
Tested-by: BuildkiteCI
2020-07-03 00:07:04 +00:00
Griffin Smith
6cabc4289c feat(gs:system): steal tazjin's rebuilder script
gonna use this instead of nixos-rebuild switch, in part to get away from
global nixpkgs pins.

Change-Id: I46e2951660465790adfdf75e6e3413b5c2dfd7c7
Reviewed-on: https://cl.tvl.fyi/c/depot/+/886
Reviewed-by: glittershark <grfn@gws.fyi>
Reviewed-by: BuildkiteCI
Tested-by: BuildkiteCI
2020-07-03 00:07:04 +00:00
Griffin Smith
5c96703765 feat(ci-builds): add chupacabra
My laptop, so I can recompile linux-ck not on my machine

Change-Id: Ib42e0440628be6a4d03999220ab2c69b19d6e391
Reviewed-on: https://cl.tvl.fyi/c/depot/+/884
Reviewed-by: BuildkiteCI
Reviewed-by: lukegb <lukegb@tvl.fyi>
Tested-by: BuildkiteCI
2020-07-02 23:19:58 +00:00