/usr/bin/konsoleprofile is in konsole 4:15.12.3-0ubuntu1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 | #!/bin/sh
#
# This file is in the public domain.
# A command-line tool to change the current tab's profile options.
#
# Usage: konsoleprofile option=value
#
# Example: 'konsoleprofile ColorScheme=WhiteOnBlack' will change the
# colorscheme used in current tab into WhiteOnBlack on the fly.
#
# NOTE: This script MUST run within a konsole tab to take effect. The change
# is applied only to current tab. Other tabs using the same profile will not
# be influenced. Any changes won't be saved to to disk.
#
# For the full list of supported options and values:
# 1. konsole --list-profile-properties
# 2. refer to konsole/src/Profile.h
# 3. visit the online reference:
# http://api.kde.org/4.7-api/kde-baseapps-apidocs/konsole/html/namespaceKonsole.html
# http://api.kde.org/4.7-api/kde-baseapps-apidocs/konsole/html/classKonsole_1_1Profile.html
#
# All of the logic is in konsole. This script is provided for convenience.
if [ ! $# -eq 1 ]
then
echo ""
echo "Usage: $0 option=value"
echo ""
echo "For more documentation view this file $0"
echo ""
echo "The complete list of profile options can be displayed using:"
echo " konsole --list-profile-properties"
echo ""
exit 0
fi
# Use printf since echo is not portable
# http://pubs.opengroup.org/onlinepubs/009695399/utilities/echo.html
printf "\033]50;%s\a" "$1"
|