Как я могу удалить первые X символов из строки с помощью sed?

Я пишу сценарий оболочки для встроенного Linux в небольшой промышленной коробке. У меня есть переменная, содержащая текст pid: 1234, и я хочу удалить из строки первые X символов, чтобы осталось только 1234. У меня есть больше переменных, которые мне нужно «очистить», поэтому мне нужно вырезать X первых символов, а ${string:5}по какой-то причине не работает в моей системе.

Кажется, единственное, что есть в коробке, это sed.

Я пытаюсь заставить работать следующее:

result=$(echo "$pid" | sed 's/^.\{4\}//g')

Любые идеи?

112
задан jww 22 April 2019 в 23:39
поделиться