feat(sterni/blërg/git): don't make file extension part of id

Change-Id: I3939a87492932c12b060aee00002b93716b4a469
Reviewed-on: https://cl.tvl.fyi/c/depot/+/13112
Autosubmit: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
This commit is contained in:
sterni 2025-02-05 03:10:04 +01:00 committed by clbot
parent 278342b923
commit 2b695826d7

View file

@ -42,7 +42,7 @@ LR ← Lines∘R
GetEnv {R "importas""env"𝕩"printf""%s""$env"}
RelPath •wdpath•file.At
SplitExt (((`+¯2×)='.')) •file.Name
SplitExt ((`+¯2×)='.')
# 3p dependencies
@ -108,10 +108,10 @@ GitBackend ← {𝕊 config:
Entries {𝕤
blobs 2@ SplitChar R GitCmd "ls-tree""-zr""--format=%(path)%x00%(objectname)"revpath
{𝕊 pb:
nameext SplitExt p
id Slugify path DropPrefix p
extlesspext SplitExt p
id Slugify path DropPrefix extlessp
# TODO(sterni): extract from file if possible
title name
title •file.Name extlessp
time PathDate p
Render {𝕤
conv converters j.ObjGet ext