Nevermind, мне удалось решить все это, сбросив dconf и переустановив gnome-shell-extension-ubuntu-dock (благодаря @pomsky).
Если это всегда цифры, вы можете сказать
$ echo "$line" | sed 's,/[[:digit:]]\+,-,'
192.168.1.234-(LOCAL\username)
В противном случае, если вы не знаете, что там есть, сопоставьте косую черту и одну или несколько символов без скобок
[ f2]Вы можете сделать это прямо в bash с расширенным globbing:
$ shopt -s extglob
$ echo "${line/\/+([0-9])/-}"
192.168.1.234-(LOCAL\username)
Если это всегда цифры, вы можете сказать
$ echo "$line" | sed 's,/[[:digit:]]\+,-,'
192.168.1.234-(LOCAL\username)
В противном случае, если вы не знаете, что там есть, сопоставьте косую черту и одну или несколько символов без скобок
$ echo "$line" | sed 's,/[^(]\+,-,'
192.168.1.234-(LOCAL\username)
Вы можете сделать это прямо в bash с расширенным globbing:
$ shopt -s extglob
$ echo "${line/\/+([0-9])/-}"
192.168.1.234-(LOCAL\username)
Если это всегда цифры, вы можете сказать
$ echo "$line" | sed 's,/[[:digit:]]\+,-,'
192.168.1.234-(LOCAL\username)
В противном случае, если вы не знаете, что там есть, сопоставьте косую черту и одну или несколько символов без скобок
$ echo "$line" | sed 's,/[^(]\+,-,'
192.168.1.234-(LOCAL\username)
Вы можете сделать это прямо в bash с расширенным globbing:
$ shopt -s extglob
$ echo "${line/\/+([0-9])/-}"
192.168.1.234-(LOCAL\username)