File indexing completed on 2024-03-24 05:54:30

0001 #!/bin/sh
0002 #
0003 #  This file is in the public domain.
0004 
0005 #  A command-line tool to change the current tab's profile options.
0006 #
0007 #  Usage: konsoleprofile "option=value[;option=value;...]"
0008 #
0009 #  Example: 'konsoleprofile "ColorScheme=WhiteOnBlack;TabColor=#FF0000"' will
0010 #  change the colorscheme used in current tab into WhiteOnBlack and the TabColor
0011 #  to red on the fly.
0012 #
0013 #  NOTE: This script MUST run within a konsole tab to take effect. The change
0014 #  is applied only to current tab. Other tabs using the same profile will not
0015 #  be influenced.  Any changes won't be saved to to disk.
0016 #
0017 #  For the full list of supported options and values:
0018 #   1. konsole --list-profile-properties
0019 #   2. refer to konsole/src/Profile.h
0020 #   3. visit the online reference:
0021 #       https://invent.kde.org/utilities/konsole/-/blob/master/src/profile/Profile.h
0022 #
0023 #  All of the logic is in konsole. This script is provided for convenience.
0024 
0025 if [ ! $# -eq 1 ]
0026     then
0027     echo ""
0028     echo "Usage: $0 \"option=value[;option=value;...]\""
0029     echo ""
0030     echo "For more documentation view this file $0"
0031     echo ""
0032     echo "The complete list of profile options can be displayed using:"
0033     echo " konsole --list-profile-properties"
0034     echo ""
0035     exit 0
0036 fi
0037 
0038 # Use printf since echo is not portable
0039 # https://pubs.opengroup.org/onlinepubs/009695399/utilities/echo.html
0040 printf "\033]50;%s\a" "$1"