Age | Commit message (Collapse) | Author | Files | Lines |
|
Install the witherable library, expose it in the prelude, and update all
call sites that are broken by that change.
This is a really nice library, and basically the ideal abstraction layer
for what it does.
Change-Id: I640e099318c1ecce0ad483bc336c379698bdab88
Reviewed-on: https://cl.tvl.fyi/c/depot/+/725
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
It's useful, when developing new level gen techniques, to be able to
specially mark certain areas of the map during devlopment. This adds a
Marker entity type, which renders as a red X on the map and provides a
programmable description when examined. In the future it'll probably be
nice to toggle markers on/off just like we do with revealAll, but for
now it'll be fine to just remove the code to render them like we do with
debug traces.
Change-Id: Ief5d090809a0a4cbcc28f90e4902a5e38d42eeb5
Reviewed-on: https://cl.tvl.fyi/c/depot/+/724
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
Change-Id: Id9f6f6035b1e068d0b3d9f649427010c18d43be6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/641
Reviewed-by: tazjin <mail@tazj.in>
|
|
While we get our actual CI system up-and-running (i.e. while we're
waiting for Hetzner to provision a machine), Frog can serve as a build
host (whenever it's online, anyways).
Change-Id: I917a8dbe92c499c607ead179a58bc59c105abd3d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/626
Reviewed-by: tazjin <mail@tazj.in>
|
|
Change-Id: Ia5ff68b67350dd72cb7a64260ec80881ba845660
Reviewed-on: https://cl.tvl.fyi/c/depot/+/623
Reviewed-by: Profpatsch <mail@profpatsch.de>
Reviewed-by: tazjin <mail@tazj.in>
|
|
Change-Id: I69f3900415231c20ce3df9d0f2fb59114bc4bffa
Reviewed-on: https://cl.tvl.fyi/c/depot/+/607
Reviewed-by: tazjin <mail@tazj.in>
|
|
Change-Id: I72b25680e7167c3a55477111c28b1d4936c60e2c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/606
Reviewed-by: tazjin <mail@tazj.in>
|
|
My personal pages have moved out of //web, and various changes were
necessary to keep everything working.
Change-Id: I2f81fdd8ba2ce2ce6fea7e329bbdcda6092cc8a6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/604
Reviewed-by: tazjin <mail@tazj.in>
|
|
Change-Id: I96a2620ffb1d9e98a1d8ce7d97f2c4f58c2dbfd3
Reviewed-on: https://cl.tvl.fyi/c/depot/+/603
Reviewed-by: tazjin <mail@tazj.in>
|
|
Change-Id: I8b49cd5208a8ddb43eb426714c14c9cdd50f0bd0
Reviewed-on: https://cl.tvl.fyi/c/depot/+/601
Reviewed-by: tazjin <mail@tazj.in>
|
|
Change-Id: I17cc6268285d06f64f84f8b0d52a367ad8e3c837
Reviewed-on: https://cl.tvl.fyi/c/depot/+/580
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
Change-Id: I88b7574b8f415a476b15e21e49ba52e9ade5dd7b
Reviewed-on: https://cl.tvl.fyi/c/depot/+/579
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
This program can be used for noise-cancelling in arbitrary audio
streams. See CL/576 and CL/577 for more details.
This moves the script out of my users folder and to //tools, and adds
two changes:
* Existing sinks will be removed & reinitialised
* The sink is changed from stereo->mono (which seems to make little
difference but is more reliable)
* The parameter has changed from 50 to 42 because I felt like it
Change-Id: Id9ff285fefd682ccc4d9f18e46b5fde9cd056aa7
Reviewed-on: https://cl.tvl.fyi/c/depot/+/578
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
This script creates a pulseaudio sink that will cancel noise in audio
streams sent to it, and then move it on to the default sink.
This means that other people's crackling, static background, gulping,
keyboard sounds, fan whirring, construction noise etc. are removed.
Some preliminary tests on TVL suggest that this actually works. The
parameter might need some tweaking ("50" is just the default value),
as there is some occasional crackling at the beginning/end of a speech
segment, but this is already *much* better than before.
Change-Id: I9d4e2b39cfc2b878b4b7c5458788b8d46fb801af
Reviewed-on: https://cl.tvl.fyi/c/depot/+/577
Reviewed-by: nyanotech <nyanotechnology@gmail.com>
|
|
Change-Id: Id258c23fed40e295ff42fd8c11621375a22ffe8e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/572
Reviewed-by: tazjin <mail@tazj.in>
|
|
Change-Id: I901c023f707a0223af673c217c65434e26e2ab1f
Reviewed-on: https://cl.tvl.fyi/c/depot/+/568
Reviewed-by: lukegb <lukegb@tvl.fyi>
|
|
This ends up using the same driver, but generates saner display names
somehow. Who knows what's going on there.
FWIW, it didn't help with the font weight issue.
Change-Id: Ib6161088b23109f4f0e24b8a87c478ad274df4d6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/566
Reviewed-by: tazjin <mail@tazj.in>
|
|
Add jsonnet-mode to emacs, and install jsonnet in the development.nix
module in home-manager.
Change-Id: I11d6417b6a059de151dbb5407682059e0d5a7d3c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/564
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
This includes an attempt at making this work with auto-insert, but that
didn't seem to have any effect - can just call it manually now
Change-Id: I0eac267b7d3387efd84a2dd0d32b1364fa06f328
Reviewed-on: https://cl.tvl.fyi/c/depot/+/563
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
These are all things I constantly nix-shell into my environment. Maybe
they should just be part of it.
Change-Id: Ic0b738d12fae70900629c79764c7d8c323e71bb1
Reviewed-on: https://cl.tvl.fyi/c/depot/+/560
Reviewed-by: tazjin <mail@tazj.in>
|
|
Change-Id: I06d532b707c9c477bc573829805379a90b332182
Reviewed-on: https://cl.tvl.fyi/c/depot/+/559
Reviewed-by: tazjin <mail@tazj.in>
|
|
previously it'd just render:
:LOCATION: key not found: location
Change-Id: I6454c1ef8c6c1096773978add1243097116d1e68
Reviewed-on: https://cl.tvl.fyi/c/depot/+/558
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
Change-Id: I4d36fc88026b8e266b6f15614a27bb4dbd4ff564
Reviewed-on: https://cl.tvl.fyi/c/depot/+/557
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
Since these are defined in tvl.el now
Change-Id: I34c249dceef33dac46ffe5db8b42f057d2c12a4c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/556
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
Speed up the floodFill algorithm by sprinkling in some strictness and
specializing it to the only type it's currently called at anyway.
Change-Id: I4557fc51b1c1036c127bfd5bee50748d8692ae74
Reviewed-on: https://cl.tvl.fyi/c/depot/+/555
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
heap profiling woo
Change-Id: Ie14bc81e9278e3c0d65bd22efc24cfaae43369ca
Reviewed-on: https://cl.tvl.fyi/c/depot/+/554
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
Some things are slow, and it's time to profile them
Change-Id: I6a915db8bcc85adc7c3902a407cebb5a6f52d514
Reviewed-on: https://cl.tvl.fyi/c/depot/+/553
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
Change-Id: Id60311da956d070ab53201fddf3651279fab4a58
Reviewed-on: https://cl.tvl.fyi/c/depot/+/546
Reviewed-by: tazjin <mail@tazj.in>
|
|
Without this patch, this board is not included in the pin map
overrides and audio basically doesn't work.
With this patch, the audio still doesn't work, but it can at least
correctly detect what is and isn't plugged in - so that's progress.
Change-Id: I66ca7d7a1e0e25a0212b9659381875ad4c590ffc
Reviewed-on: https://cl.tvl.fyi/c/depot/+/542
Reviewed-by: lukegb <lukegb@tvl.fyi>
|
|
Change-Id: I2b91bef97c16254ffefcbc4da48ef161a859e7a0
Reviewed-on: https://cl.tvl.fyi/c/depot/+/521
Reviewed-by: lukegb <lukegb@tvl.fyi>
|
|
Change-Id: Iba79c85ebc87c6df13d69781255b3f6645233c2c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/506
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
Change-Id: If26f1d9ad07c92429f9886b622685db70243e464
Reviewed-on: https://cl.tvl.fyi/c/depot/+/505
Reviewed-by: tazjin <mail@tazj.in>
|
|
This function opens the depot in magit. By default the depot path is
assumed to be `/depot`, but that is made available as a customise
option that users can override.
Change-Id: Iefc127cad515dbae330d7af3aa69a0c53aa02015
Reviewed-on: https://cl.tvl.fyi/c/depot/+/504
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
Change-Id: I5f923125b27890b14dc5b6a375861186406f5333
Reviewed-on: https://cl.tvl.fyi/c/depot/+/495
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
To test out emacs package installs from depot
Change-Id: Ia8bb370d671c566c6ce8de08b47925ec3a1653e4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/493
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
Change-Id: I337ffe42007e6c30022719f3564a400a84ddd0e0
|
|
I swear I've done this before. Multiple times.
Change-Id: I0d9fcb8fbb05b7b3a24392a204553ce60855f8df
|
|
The homepage is not useful to us because there is only one repo here
anyways.
Change-Id: Ia4e77849dcc54b64bca8b87a3b7dfae3efc382da
|
|
Change-Id: I9dfbd0bb1fd3e215bb91c5734fb0934ee3faeae6
|
|
Gerrit supports pushing, reviewing and submitting in one go, which will
make pushing to my own emacs/system/etc. config way simpler
Change-Id: Ie1eec7c1e56a9549e63fb81de6b6791647da6c4e
|
|
Change-Id: Idbc3cc90587a5c64a246e7e2097efcec6cefdc5c
|
|
Change-Id: I96bd3802c05f9ab2973bdb1866d60113fcda56e9
|
|
Change-Id: Ia35102c6041108015703ff8908abd66083c64187
|
|
Change-Id: Iae1fc9fb5efe046fe70b229e7b5cedc3c8f15749
|
|
Change-Id: Ib0e81533fecf259129e0db58cf11280434d35339
|
|
We can always revert this if we want it back.
Change-Id: I1332b6dd541199584b7b5b94a8651172d79e53a9
Reviewed-on: https://cl.tvl.fyi/c/depot/+/442
Reviewed-by: glittershark <grfn@gws.fyi>
Reviewed-by: lukegb <lukegb@tvl.fyi>
|
|
don't know how *this* got in there
Change-Id: I73102136d90127a40697ae5c39382c6739a76091
Reviewed-on: https://cl.tvl.fyi/c/depot/+/430
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
Change-Id: I12397453b25b40a0283254ee1da9541c3512d8ac
Reviewed-on: https://cl.tvl.fyi/c/depot/+/429
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
If my work is going here anyway, might as well link to it alongside
github
Change-Id: Ib686f14c16180d24fe9b8647b2297f6a1a569760
Reviewed-on: https://cl.tvl.fyi/c/depot/+/427
Reviewed-by: glittershark <grfn@gws.fyi>
|
|
This module spins up the Sourcegraph container.
Builds:
Note that this is contrary to how our other deployments work, but
packaging Sourcegraph is quite difficult (it's a Gitlab style
deployment with a lot of moving parts and third-party things that it
bundles).
If we decide to keep it around, we will want to look at packaging it
in Nix in the future.
Deployment:
The deployment is a hack. Sourcegraph does not support public
instances, but we want it to be public. To work around this we have
configured HTTP-proxy based authentication (i.e. auth via a header)
and hardcoded a static header.
This works, but lets anonymous users change the "Anonymous" user's
settings. We can expect this to get defaced (profile picture, name
etc), until we figure out how to write some nginx configuration to
drop those requests. See git-bug for details.
The Sourcegraph configuration is also not checked in to the
repository. It's unclear where in the data directory it is stored.
Change-Id: I414ff11c3b49989b6792d697bffc8a0edf96c9cb
Reviewed-on: https://cl.tvl.fyi/c/depot/+/425
Reviewed-by: lukegb <lukegb@tvl.fyi>
|