From be813b0f54d579b7fcd2a61a18c6bf090bdbb687 Mon Sep 17 00:00:00 2001
From: Davide Silvestri <davide@baserow.io>
Date: Tue, 5 Apr 2022 15:42:13 +0000
Subject: [PATCH] Add to dev.sh the support for KDE konsole
---
changelog.md | 1 +
dev.sh | 5 +++++
2 files changed, 6 insertions(+)
diff --git a/changelog.md b/changelog.md
index a47f852c4..e53090b6a 100644
--- a/changelog.md
+++ b/changelog.md
@@ -24,6 +24,7 @@
* Fixed a bug that truncated characters for email in the sidebar
* **breaking change** The API endpoint `/api/database/formula/<field_id>/type/` now requires
`table_id` instead of `field_id`, and also `name` in the request body.
+* Added support in dev.sh for KDE's Konsole terminal emulator.
## Released (2022-03-03 1.9.1)
diff --git a/dev.sh b/dev.sh
index ae8066dbc..a698d4318 100755
--- a/dev.sh
+++ b/dev.sh
@@ -27,6 +27,11 @@ new_tab() {
if [ -x "$(command -v gnome-terminal)" ]; then
gnome-terminal \
--tab --title="$TAB_NAME" --working-directory="$(pwd)" -- /bin/bash -c "$COMMAND"
+ elif [ -x "$(command -v konsole)" ]; then
+ ktab=$(qdbus $KONSOLE_DBUS_SERVICE $KONSOLE_DBUS_WINDOW newSession)
+ qdbus $KONSOLE_DBUS_SERVICE /Sessions/$(($ktab)) setTitle 1 "$TAB_NAME"
+ qdbus $KONSOLE_DBUS_SERVICE /Sessions/$(($ktab)) runCommand "cd $(pwd); $COMMAND"
+ qdbus $KONSOLE_DBUS_SERVICE $KONSOLE_DBUS_WINDOW prevSession
else
if $PRINT_WARNING; then
echo -e "\n${YELLOW}./dev.sh WARNING${NC}: gnome-terminal is the only currently supported way of opening