Complete agent monitoring and Galaxy Control integration
- expose command-monitor conversations and preserve visible agent transcripts - add bounded polling and a dedicated shell interrupt tool - improve direct-provider images, skills, tool history, and usage handling - package and brand Galaxy Control across releases, installers, persistence, and docs
This commit is contained in:
@@ -3,9 +3,9 @@
|
||||
XDG_CONFIG_HOME=${XDG_CONFIG_HOME:-~/.config}
|
||||
|
||||
# Allow users to override command-line options
|
||||
if [[ -f $XDG_CONFIG_HOME/warp-terminal@@CHANNEL_SUFFIX@@-flags.conf ]]; then
|
||||
WARP_USER_FLAGS="$(grep -v '^#' $XDG_CONFIG_HOME/warp-terminal@@CHANNEL_SUFFIX@@-flags.conf)"
|
||||
if [[ -f $XDG_CONFIG_HOME/@@PACKAGE_NAME@@-flags.conf ]]; then
|
||||
GALAXY_USER_FLAGS="$(grep -v '^#' "$XDG_CONFIG_HOME/@@PACKAGE_NAME@@-flags.conf")"
|
||||
fi
|
||||
|
||||
# Launch
|
||||
exec /opt/warpdotdev/warp-terminal@@CHANNEL_SUFFIX@@/@@BINARY_NAME@@ $WARP_USER_FLAGS "$@"
|
||||
exec /opt/warpdotdev/@@PACKAGE_NAME@@/@@BINARY_NAME@@ $GALAXY_USER_FLAGS "$@"
|
||||
|
||||
Reference in New Issue
Block a user