File indexing completed on 2025-01-26 05:22:10
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"