Comment puis-je supprimer les X premiers caractères de la chaîne en utilisant sed?

J'écris un script shell pour Linux embarqué dans une petite boîte industrielle. J'ai une variable contenant le texte pid: 1234et je veux supprimer les X premiers caractères de la ligne, donc seulement 1234 restent. J'ai plus de variables que je dois "nettoyer", donc je dois couper 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 les éléments suivants:

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

Des idées?

Cela fera aussi le travail:

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

Les éléments suivants devraient fonctionner:

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

Etes-vous sûr que bashle shell exécute votre script?

Même les compatibles POSIX

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

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

Voici une méthode concise pour couper les premiers caractères X à l'aide de 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-

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

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

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

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

faites-le passer par awk '{print substr($0,42)}'où 42 est un de plus que le nombre de caractères à supprimer. Par exemple:

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

Il y a de fortes chances que vous l'ayez cutaussi. Si c'est le cas:

[me@home]$ echo "pid: 1234" | cut -d" " -f2
1234

Eh bien, il y a eu des solutions ici sed, awk, cutet en utilisant la bashsyntaxe. Je veux juste ajouter une autre variante conforme à POSIX:

$ echo "pid: 1234" | tail -c +6
1234

-cindique à la queue à quel décalage d'octet commencer, en comptant à partir de la fin des données d'entrée, mais si le nombre commence par un +signe, c'est du début des données d'entrée à la fin.

Une autre façon, en utilisant cutau lieu de sed.

result=`echo $pid | cut -c 5-`

J'ai trouvé la réponse en pure sed fournie par cette question (certes, postée après la publication de cette question). Cela fait exactement ce que vous avez demandé, uniquement dans sed:

result=\`echo "$pid" | sed '/./ { s/pid:\ //g; }'\``

Le point dans sed '/./) correspond à ce que vous voulez faire correspondre. Votre question est exactement ce que j'essayais de faire, sauf dans mon cas, je voulais faire correspondre une ligne spécifique dans un fichier, puis décommenter. Dans mon cas, c'était:

# Uncomment a line (edit the file in-place):
sed -i '/#\ COMMENTED_LINE_TO_MATCH/ { s/#\ //g; }' /path/to/target/file

L' -iaprès sedconsiste à modifier le fichier sur place (supprimez ce commutateur si vous souhaitez tester votre expression correspondante avant de modifier le fichier).

(J'ai posté ceci parce que je voulais le faire entièrement avec sed car cette question était posée et aucune des réponses précédentes n'a résolu ce problème.)

Plutôt que de supprimer n caractères du début, peut-être pourriez-vous simplement extraire les chiffres directement. Ainsi...

$ echo "pid: 1234" | grep -Po "\d+"

Cela peut être une solution plus robuste et semble plus intuitive.