mirror of
https://github.com/stablyai/orca.git
synced 2026-09-30 08:03:12 +00:00
Neil
5104aebaaa
* fix(linux): complete deb/rpm package metadata * fix(linux): preserve CLI link during package upgrades * docs(linux): document local RPM build prerequisites * fix(linux): move deb/rpm update installation outside Orca * fix(updater): preserve Linux recovery across stale events * fix(updater): fence stale downloaded events by active target * fix(updater): preserve active Linux package recovery * test(linux): keep workflow order assertion in scope * test(updater): assert stale recovery stays silent * fix(updater): preserve Linux package recovery after checks * refactor(updater): keep Linux marker message with status * fix(linux): describe the right manual update path for deb/rpm hosts A remote host installed from .deb or .rpm now reports manual-service-update-required, and the guidance told the operator to "update through the service manager that starts this server" -- which is correct for unsupported-headless-serve but wrong for a package install, where nothing about the remedy involves the service manager. Say both, keyed on how the host was installed.
25 lines
557 B
Bash
Executable File
25 lines
557 B
Bash
Executable File
#!/bin/bash
|
|
# Why: remove the PATH symlink that after-install.sh created, but only if it
|
|
# still points into an Orca install dir — never delete an unrelated
|
|
# /usr/bin/orca-ide a user or other package may own.
|
|
set -e
|
|
|
|
# RPM passes an instance count; dpkg passes the package lifecycle action.
|
|
case "${1-}" in
|
|
0 | remove | purge) ;;
|
|
*) exit 0 ;;
|
|
esac
|
|
|
|
link="/usr/bin/orca-ide"
|
|
|
|
if [ -L "$link" ]; then
|
|
target="$(readlink "$link" || true)"
|
|
case "$target" in
|
|
/opt/Orca/*|/opt/orca-ide/*|/opt/orca/*)
|
|
rm -f "$link"
|
|
;;
|
|
esac
|
|
fi
|
|
|
|
exit 0
|