tlaplus-toolbox: fix crash when opening file dialog (#494491)

This commit is contained in:
Aleksana 2026-02-27 04:48:11 +00:00 committed by GitHub
commit 42b375db22
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -60,6 +60,9 @@ stdenv.mkDerivation (finalAttrs: {
patchelf --set-interpreter ${bintools.dynamicLinker} \
"$(find "$out/libexec/toolbox" -name jspawnhelper)"
# Populate gappsWrapperArgs now instead of in a preFixupPhase.
gappsWrapperArgsHook
makeShellWrapper $out/libexec/toolbox/toolbox $out/bin/tla-toolbox \
--chdir "$out/libexec/toolbox" \
--add-flags "-data ~/.tla-toolbox" \