run enso extension installer after clone and update

After deletion and re-clone, enso.install() runs after
install_extensions() has already passed, so install.py
was never triggered and the frontend was not built.
pull/4696/head
CalamitousFelicitousness 2026-03-20 21:43:44 +00:00
parent 79bf0f8c1d
commit 5e4819c3e9
1 changed files with 3 additions and 1 deletions

View File

@ -1,5 +1,5 @@
import os import os
from installer import log, git from installer import log, git, run_extension_installer
from modules.paths import extensions_dir from modules.paths import extensions_dir
@ -14,6 +14,7 @@ def install():
return return
log.info(f'Enso: folder="{ENSO_DIR}" installing') log.info(f'Enso: folder="{ENSO_DIR}" installing')
git(f'clone "{ENSO_REPO}" "{ENSO_DIR}"') git(f'clone "{ENSO_REPO}" "{ENSO_DIR}"')
run_extension_installer(ENSO_DIR)
def update(): def update():
@ -22,3 +23,4 @@ def update():
return return
log.info(f'Enso: folder="{ENSO_DIR}" updating') log.info(f'Enso: folder="{ENSO_DIR}" updating')
git('pull', folder=ENSO_DIR) git('pull', folder=ENSO_DIR)
run_extension_installer(ENSO_DIR)