maurice/snix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

refactor(tvix): move logo to //tvix:logo

Browse source 
Also expose both formats, then use it from
users/tazjin/presentations/tvix-eval-2023.

Change-Id: Id906e8aff5510a7a4f33336326472e86db18ea32
Reviewed-on: https://cl.tvl.fyi/c/depot/+/9280
Tested-by: BuildkiteCI
Autosubmit: flokli <flokli@flokli.de>
Reviewed-by: tazjin <tazjin@tvl.su>
This commit is contained in:
Florian Klink 2023-09-07 17:51:34 +03:00 • committed by flokli
parent 9786255267
commit afe4dfb61e
6 changed files with 14 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

3
users/tazjin/presentations/tvix-eval-2023/default.nix
View file

@ -47,8 +47,7 @@ stdenv.mkDerivation {
mkdir home
export HOME=$PWD/home
# webp images can't be included directly, need to convert to PNG
convert ${depot.tvix.website}/tvix-logo.webp tvix-logo.png
cp ${depot.tvix.logo}/logo.png tvix-logo.png
cp ${linksQrCode} qrcode.png
# As usual, TeX needs to be run twice ...