merge: import shortcut-manager sources with history

git-subtree-dir: shortcut-manager
git-subtree-mainline: d4134ccb0d
git-subtree-split: 32dec59d45

shortcut-manager/install.sh

@@ -0,0 +1,28 @@
+#!/usr/bin/env bash
+# Installs cinnamon-shortcut-manager for the current user:
+#   - copies the app into ~/.local/share/cinnamon-shortcut-manager/
+#   - creates a menu launcher (~/.local/share/applications/)
+set -euo pipefail
+
+SRC_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
+APP_DIR="$HOME/.local/share/cinnamon-shortcut-manager"
+DESKTOP_FILE="$HOME/.local/share/applications/cinnamon-shortcut-manager.desktop"
+
+mkdir -p "$APP_DIR" "$(dirname "$DESKTOP_FILE")"
+cp "$SRC_DIR/shortcut_manager.py" "$SRC_DIR/keybindings.py" "$SRC_DIR/presets.py" "$APP_DIR/"
+chmod +x "$APP_DIR/shortcut_manager.py"
+
+cat > "$DESKTOP_FILE" << EOF
+[Desktop Entry]
+Type=Application
+Name=Custom Shortcuts
+Comment=Add, edit and delete custom Cinnamon keyboard shortcuts
+Exec=python3 $APP_DIR/shortcut_manager.py
+Icon=preferences-desktop-keyboard-shortcuts
+Terminal=false
+Categories=Settings;
+EOF
+
+echo "Installed -> $APP_DIR"
+echo "Menu launcher -> $DESKTOP_FILE"
+echo "Run directly with: python3 $APP_DIR/shortcut_manager.py"