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

Ce qui suit devrait fonctionner :

var="pid: 1234"
var=${var:5}

Vous êtes sûr bash Le shell exécute-t-il votre script ?

Même la norme POSIX

var=${var#?????}

serait préférable à l'utilisation d'un processus externe, bien que cela vous oblige à coder en dur le 5 sous la forme d'un motif de longueur fixe.

Answer 2

Voici une méthode concise pour couper les X premiers caractères en utilisant cut(1) . Cet exemple supprime les 4 premiers caractères en coupant une sous-chaîne commençant par le 5ème caractère.

echo "$pid" | cut -c 5-

Answer 3

Utilisez le -r (" utiliser des expressions régulières étendues dans le script ") pour sed afin d'utiliser le {n} la syntaxe :

$ echo 'pid: 1234'| sed -r 's/^.{5}//'
1234

Answer 4

Coupez les deux premiers caractères de la chaîne :

$ string="1234567890"; echo "${string:2}"
34567890

Answer 5

Le faire passer à travers awk '{print substr($0,42)}' où 42 est un de plus que le nombre de caractères à déposer. Par exemple :

$ echo abcde| awk '{print substr($0,2)}'
bcde
$