diff --git a/tools/konsoleprofile b/tools/konsoleprofile index 99864d7c..c3a56709 100755 --- a/tools/konsoleprofile +++ b/tools/konsoleprofile @@ -35,5 +35,5 @@ if [ ! $# -eq 1 ] fi # Use printf since echo is not portable -# http://pubs.opengroup.org/onlinepubs/009695399/utilities/echo.html +# https://pubs.opengroup.org/onlinepubs/009695399/utilities/echo.html printf "\033]50;%s\a" "$1"