Commit graph

16374 commits

Author SHA1 Message Date
sterni
47fdd8c954 feat(sterni/emacs): add keybind for browse-url-at-point
Change-Id: I537fed6292ed99791ec0d2ef90f7f40523e72dda
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5573
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: sterni <sternenseemann@systemli.org>
2022-05-10 18:22:16 +00:00
sterni
ac0fefdb3e feat(sterni/emacs): add keybind for M-x man
Change-Id: Ia3ddc393300150712276fc8b3d3bdbcd95a5361c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5572
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: sterni <sternenseemann@systemli.org>
2022-05-10 18:22:16 +00:00
sterni
5cccb0c573 feat(sterni/emacs): add key bindings for project-* commands
Change-Id: I482b629747adebe049e1e145c13efec17a0d2b7d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5571
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: sterni <sternenseemann@systemli.org>
2022-05-10 18:18:14 +00:00
sterni
1e3306ab57 feat(sterni/emacs): use bash login shell for M-x shell
bash (unlike fish) doesn't break down if TERM=dumb which is the only one
I'll be using in emacs (I want to reduce my usage of things depending on
ANSI escape sequence to a minimum, for stuff that needs it I still have
foot). bash is started in login shell mode so /etc/profile is sourced
which will a) enable direnv support and b) setup some tweaks (relating
to PAGER etc.) if TERM=dumb.

Since I use a semicolon for a prompt in (ba)sh, shell-prompt-pattern
needs to be adjusted.

Change-Id: If58b6d1edf1d9ab1883cb51c27729e23d889b16c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5570
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: sterni <sternenseemann@systemli.org>
2022-05-10 18:18:14 +00:00
Vincent Ambo
2f74626718 fix(tazjin/zamalek): Set libinput click method to 'clickfinger'
This is much nicer than button areas on a large touchpad.

Change-Id: I369f96f6b99cdf1803be1056b31fcfab8c0deae4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5569
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
2022-05-10 15:03:50 +00:00
Vincent Ambo
bdbd4e3970 feat(tazjin/zamalek): Set additional power saving options
Change-Id: Ia2e897b597df88b8a2d84d281917c00ca4b318db
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5568
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
2022-05-10 15:03:50 +00:00
Vincent Ambo
c50f14fb1c feat(tazjin/laptop): Enable geoclue2 for redshift & localtime
Change-Id: I716e67ae32072de998c6f4e970b9dd34c5a92032
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5567
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
2022-05-10 15:03:49 +00:00
Vincent Ambo
c07f11bd80 feat(tazjin/modules): Add HiDPI module
Change-Id: Ib690ec25ebe10af4924735553a8315609b7cbc4e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5566
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
2022-05-10 15:00:41 +00:00
Vincent Ambo
302b754d7a feat(tazjin/nixos): Add system configuration for zamalek
This is my new Huawei MateBook X.

Change-Id: I32a8b77dd8f53b3c89bf63f448cd2880f9a457b7
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5554
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
2022-05-10 13:41:33 +00:00
Vincent Ambo
5518f620bb refactor(tazjin/nixos): Split up desktop/laptop configurations
Change-Id: I0f5d631491be0c811ad171510568aac097d2fddd
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5553
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
2022-05-10 13:41:33 +00:00
Vincent Ambo
c4a3500d70 refactor(tazjin/nixos): Automatically include home config
Adds a small module that automatically picks the right home
configuration for each machine.

For some reason, importing home-manager itself in this module causes
infinite recursion. I've not looked into why, and left the import in
the tverskoy config instead.

Change-Id: Ie27109a3c4478b198ab646b2e179999cf053980e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5552
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
2022-05-10 13:41:33 +00:00
Vincent Ambo
d54b1f5b30 refactor(tazjin/home): Split shared config into separate file
Change-Id: I898f1552f449e2d6bddc8e3e3a144d6c2490ce29
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5551
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
2022-05-10 13:41:33 +00:00
Vincent Ambo
a23b01c8bc refactor(tazjin/home): Extract home manager configuration
Change-Id: If12aca275029d2567fa420d762418ccd9e5ffcba
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5550
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
2022-05-10 13:41:33 +00:00
Vincent Ambo
2b75ee689d refactor(users/tazjin): Extract non-home persistence config
This will be reused between machines.

Change-Id: Ice7835ce7e63b00284e046606309e882412cda26
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5547
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
2022-05-10 13:41:33 +00:00
Vincent Ambo
09f27d278d docs(tazjin/install-zfs): Add some notes for the ZFS installs I do
I have to google all of this this each time otherwise.

Change-Id: Ib7df0882e4681bd061f77a00b678641a7f37c58c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5546
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
2022-05-10 13:41:33 +00:00
Vincent Ambo
155902744b refactor(tazjin/nixos): Extract font configuration module
Change-Id: I067d832155db61fb426ea3435e038231f321f71a
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5545
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
2022-05-10 13:41:33 +00:00
Vincent Ambo
dd2ae8552f chore(tazjin/nixos): Remove strongswan overlay
This is no longer required; said customer has switched to Tailscale.

Change-Id: Iebe2fdfbf4013af86b7236e061cf4dbf47ac7c9e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5537
Tested-by: BuildkiteCI
Autosubmit: tazjin <tazjin@tvl.su>
Reviewed-by: tazjin <tazjin@tvl.su>
2022-05-10 13:41:33 +00:00
Vincent Ambo
988ac68100 refactor(tazjin/nixos): First step to extracting shared config
There's some configuration shared betwene my physical machines which
is just duplicated all over the place right now. What's the point of
having Nix if you don't use it fully?

Change-Id: Ic7e89f918d2517637b3d49617b4dc1a2cc6023b9
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5536
Tested-by: BuildkiteCI
Autosubmit: tazjin <tazjin@tvl.su>
Reviewed-by: tazjin <tazjin@tvl.su>
2022-05-10 13:41:33 +00:00
William Carroll
fe78a53bc9 fix(tool/depot-deps): rebuildSystem -> rebuild-system
The camelCase variant of `rebuild-system`  doesn't exist, but the
kebab-case version does.

Side note: this `lazy-dispatch` upgrade is pretty cool. TIL `direnv`
supports `watch_file` and `PATH_add`.
Change-Id: Idc9109a9b0de327ddf7b9c6a4368b7bebb551196
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5565
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-05-10 11:47:27 +00:00
Vincent Ambo
2cf6acc160 chore(3p/agenix): Use pkgs.fetchFromGitHub for agenix source
It costs me money and time to use uncacheable builtin fetchers.

Change-Id: Ie38923667cc6ac54ee85701088c9a5245ccf1c25
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5549
Tested-by: BuildkiteCI
Autosubmit: tazjin <tazjin@tvl.su>
Reviewed-by: tazjin <tazjin@tvl.su>
2022-05-10 08:08:00 +00:00
Vincent Ambo
93bfcc9702 chore(3p/overlays): Use pkgs.fetchFromGitHub for Nix source
It costs me money and time to use uncacheable builtin fetchers.

Change-Id: I0241cdecbc79e7135765ab4f4c49b4b2c9985d2e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5548
Tested-by: BuildkiteCI
Autosubmit: tazjin <tazjin@tvl.su>
Reviewed-by: sterni <sternenseemann@systemli.org>
2022-05-10 08:08:00 +00:00
sterni
36ca385473 chore(3p/sources): Bump channels & overlays
Change-Id: I7b6a856206dd0f944392f941a0fa63f3490c9104
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5535
Tested-by: BuildkiteCI
Autosubmit: sterni <sternenseemann@systemli.org>
Reviewed-by: tazjin <tazjin@tvl.su>
2022-05-10 08:00:59 +00:00
William Carroll
b296462448 feat(wpcarro/emacs): Expand workspaces
Also define a hadrian bookmark.

Change-Id: Ic8d7dc94eaa557d3a87ad252e90fdf8996a397fe
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5562
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-05-10 02:00:15 +00:00
William Carroll
ed39640cf2 feat(wpcarro/nix): Support htop, zip
More common CLI utilities that I expect to be available as defaults.

Change-Id: I59c5492f3dc007aaea5bfb7b01d5f842ced0d6c9
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5564
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-05-10 01:57:14 +00:00
William Carroll
d2b1cdc14b feat(wpcarro/emacs): Support terraform-mode
I "think" this belongs in `wpc-language-support.el`, because I need it mostly to
render `*.hcl` files.

Change-Id: I93106c4912699245449328608c12d4f7c74b4fff
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5563
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
2022-05-10 01:57:14 +00:00
William Carroll
1705ea8c49 feat(wpcarro/emacs): Move PL support to separate module
Declutter init.el.

Change-Id: I0af874adaab4471741f9d344f539dd6164e2afff
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5561
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-05-10 01:53:49 +00:00
William Carroll
399f963a24 feat(wpcarro/ava): Support mosh
SSH is feeling a bit too laggy; let's try `mosh`.

Change-Id: I0a4c0b7513543876defcfa243323fa3c5d4588f7
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5560
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-05-10 01:53:21 +00:00
William Carroll
a0fff9f00e feat(wpcarro/ava): Support virtualbox
This has been useful while developing my NixOS installer.

Change-Id: I45fd5e1647248a6ebf277ffff3638587d8cc695d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5559
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-05-09 17:48:47 +00:00
William Carroll
e0585128ae feat(wpcarro/ava): Support httpie
I like httpie's UX better than `curl`'s.

Change-Id: I2f7d650df10ca9e651c110e4d486406fe846fef0
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5558
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-05-09 17:48:47 +00:00
William Carroll
2129c683e1 feat(wpcarro/ava): Support remmina
More tools I didn't know I'd ever become acquainted with until I started
supporting Windows Servers: remmina - for RDPing.

Change-Id: Id861535c4a6bc6d6223ce21e5da60c627c8995b3
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5557
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-05-09 17:45:45 +00:00
William Carroll
7ca3af914e feat(wpcarro/ava): Enable Tailscale
Joining the Holy Tailnet

Change-Id: I16c00e74be633d19277a38bd421e296b32307960
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5556
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-05-09 17:45:45 +00:00
William Carroll
3e411cd81a feat(wpcarro/ava): Support IP-forwarding
This allows me to use my device as a router (or in Tailscale terms: as an "exit
node").

Change-Id: I994e6c104c246364118155e934b11969a4d7066e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5555
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2022-05-09 17:45:45 +00:00
sterni
d41ac7be60 feat(sterni/emacs): add keybind for revert-buffer
Change-Id: I34a3b7c66854061b57dcd8d6181e62fe44156cb1
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5544
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
2022-05-09 13:53:16 +00:00
sterni
333786db49 feat(sterni/emacs): open man pages in same buffer
Change-Id: I84d1b4677329c24f403d23d47ff48c1666a48536
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5543
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
2022-05-09 13:53:15 +00:00
sterni
3027c3ef64 fix(sterni/emacs): prevent ediff from creating a new window
This is really annoying since the window is not recognized as a popup /
dialog window by sway.

Change-Id: Icacf7f673e6d96915711950185a704fccd95aed3
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5542
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
2022-05-09 13:53:15 +00:00
sterni
952922a0a9 feat(sterni/emacs): use evil C-w bindings, but with arrow keys
hjkl are a huge pain to use with neo layout.

Change-Id: Ic3969c00aa920c4cfea25f5ea16bf38b6bbd5e07
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5541
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
2022-05-09 13:53:15 +00:00
sterni
6128f0262e feat(sterni/emacs): enable so-long-mode
Change-Id: Iee0023b5f6f3dbe59b685081b61bf8ef5075e6db
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5540
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
2022-05-09 13:52:13 +00:00
sterni
ebba8105bc feat(sterni/emacs): install CMake mode
Change-Id: Ia48809cd0a8de9b2d7f93b83976d97df08081cb9
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5539
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
2022-05-09 13:52:13 +00:00
sterni
fe8b7b4ccd refactor(sterni/emacs): M-x sort-lines the dependencies
I'm never able to keep up such a category-based sorting.

Change-Id: I1fd1ee064df9b1c5f8c7932f0cfee7c817be3767
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5538
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
2022-05-09 13:52:13 +00:00
Florian Klink
e8855f4bef feat(ops/modules/open_eid.nix): document firefox
Firefox users can add p11-kit-proxy (or other SecurityDevices)
system-wide, by making use of the extraPolicies functionality.

Change-Id: Id58b6cab425199fb0e09e846db2a86d302c0de0d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5534
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Autosubmit: flokli <flokli@flokli.de>
2022-05-08 13:52:27 +00:00
Florian Klink
84c62eb68b feat(ops/modules/open_eid.nix): use p11-kit-proxy
… instead of onepin-opensc-pkcs11.

This acts as a glue to multiple PKCS#11 modules, and reads configuration
files from /etc/pkcs11/modules.

p11-kit is also used to propagate the system trust store to NSS:
https://p11-glue.github.io/p11-glue/sharing-trust-policy.html

See-Also: https://p11-glue.github.io/p11-glue/p11-kit.html
Change-Id: I135c3a80a4eea0bd06f6b00089dc197c82476746
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5533
Reviewed-by: flokli <flokli@flokli.de>
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: flokli <flokli@flokli.de>
Tested-by: BuildkiteCI
2022-05-07 21:29:56 +00:00
Profpatsch
9e68eecb37 fix(.envrc): Add /bin to the PATH of our lazy dispatch
Otherwise the binaries are not picked up by the shell.

Change-Id: Idd6eb8d799d65c42b4e8d76ac1ec3d44064c10fa
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5531
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
Reviewed-by: Jonas Chevalier <zimbatm@zimbatm.com>
2022-05-07 12:14:13 +00:00
Vincent Ambo
9d3145df48 chore(tazjin/emacs): Improve TV screen layout positioning
Change-Id: Ic9a6b30c04382c57ccb8620786f8f6a091c8e306
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5532
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
2022-05-07 11:10:22 +00:00
Profpatsch
54684f6c34 feat(users/Profpatsch/aerc): use toINI
Uses the list-based toINI, which removes a lot of the complications
caused by the INI DSL (it was fun to write but really not necessary).

Change-Id: Ia6c30a726662416c99ed74f9eb33537573543383
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5530
Tested-by: BuildkiteCI
Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-05-05 22:43:08 +00:00
Profpatsch
0c51608f6c feat(users/Profpatsch): add toINI
This is a morph of the `pkgs.lib.generators.toINIWithGlobalSection`
function, which is simplified, inlined, and takes lists instead of
attrsets. This makes the key ordering stable and is easy to generate
from dhall.

Ideally I’d upstream it at one point (in the sense that
`generators.toINI` can also take lists), but that will be a lot more
work that is not necessary atm.

Change-Id: I7d6c129cfee9faedb62f69d479e59a6e05bb7ac6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5529
Tested-by: BuildkiteCI
Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-05-05 22:43:08 +00:00
Profpatsch
9dac448466 feat(users/Profpatsch/importDhall): print dhall command
It’s often not obvious what dhall command to run to (type)-check the
dhall files directly without the nix roundtrip.

Now we just print the command, easy to copy.

Change-Id: I704a647bff13f73d5a1b1d33b00a46bcb1a9de4e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5528
Reviewed-by: Profpatsch <mail@profpatsch.de>
Tested-by: BuildkiteCI
2022-05-05 22:43:08 +00:00
Profpatsch
12869cda7d fix(third_party/overlays/dhall): fix dhall-nix attr key generation
Use the dhall/dhall-nix from nixpkgs, override with current master
plus one commit that fixes dhall-nix.

We might want switch back to dhall from nixpkgs for the dhall packages
instead of using the static binaries.

Change-Id: I76b900e85e1a9e9ef8d1512c15b830e3aa798baa
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5523
Tested-by: BuildkiteCI
Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-05-05 20:18:36 +00:00
Profpatsch
2a6928fb4c feat(users/Profpatsch): init initial aerc config
aerc is a mail client. It needs some ini files to work.
This is an initial attempt at generating them.

Change-Id: I087955f19d2c4527275500a1e13eeb071c98a7b9
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5526
Tested-by: BuildkiteCI
Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-05-05 20:18:36 +00:00
Profpatsch
f0e52f31cd feat(users/Profpatsch/importDhall): print type annotation
If no type annotation is given, debugging errors gets a lot harder
because there is nothing to compare it against.

But we can tell dhall to print the type first (this means double
evaluation, but that’s an optimization problem to be solved later).

Change-Id: Icf793828070cd6bb8daeb4c07de3162a5e064653
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5525
Tested-by: BuildkiteCI
Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-05-05 20:18:36 +00:00
sterni
9dd7743238 refactor(grfn/i3): use default python package set for py3status
Change-Id: Idcfd145035830c5da6926e3b013477178debef1f
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5527
Reviewed-by: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2022-05-05 20:05:34 +00:00