diff options
| author | Yuval Adam <_@yuv.al> | 2026-07-24 12:54:41 +0200 |
|---|---|---|
| committer | Yuval Adam <_@yuv.al> | 2026-07-24 12:54:41 +0200 |
| commit | 8732722aca10833d8799ada6f82ed334ce2e085d (patch) | |
| tree | d1998d73e612e9585c80dd816288aaee633f9b70 /scripts/install-extension | |
| parent | b509b20e05dcc481b20ae1e8181553e860ca5e34 (diff) | |
Run development directly with system Python
Diffstat (limited to 'scripts/install-extension')
| -rwxr-xr-x | scripts/install-extension | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/install-extension b/scripts/install-extension index 2d42288..e32e9da 100755 --- a/scripts/install-extension +++ b/scripts/install-extension @@ -14,7 +14,7 @@ fi ln -s "$root/extension" "$destination" cd "$root" -uv run python - "$uuid" <<'PY' +/usr/bin/python - "$uuid" <<'PY' import sys from gi.repository import Gio |