config: disable built-in tools
This commit is contained in:
10
launch
10
launch
@@ -4,4 +4,12 @@ set -euo pipefail
|
||||
instance_dir="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd -P)"
|
||||
export PI_CODING_AGENT_DIR="$instance_dir"
|
||||
|
||||
exec "${PI_BIN:-pi}" "$@"
|
||||
# Package-management commands must remain the first argument for Pi's CLI dispatcher.
|
||||
case "${1:-}" in
|
||||
install | remove | uninstall | update | list | config)
|
||||
exec "${PI_BIN:-pi}" "$@"
|
||||
;;
|
||||
*)
|
||||
exec "${PI_BIN:-pi}" --no-builtin-tools "$@"
|
||||
;;
|
||||
esac
|
||||
|
||||
Reference in New Issue
Block a user