Comment enlever les X premiers caractères d'une chaîne de caractères avec sed ?

Question

J'écris un shell script pour Linux embarqué dans une petite boîte industrielle. J'ai une variable contenant le texte pid: 1234 et je veux enlever les X premiers caractères de la ligne, pour ne garder que 1234. J'ai plus de variables que je dois "nettoyer", donc je dois couper les X premiers caractères et ${string:5} ne fonctionne pas pour une raison quelconque dans mon système.

La seule chose que la boîte semble avoir est sed .

J'essaie de faire fonctionner ce qui suit :

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

Des idées ?

Answer 1

Cela fera aussi l'affaire :

echo "$pid"|awk '{print $2}'