Para incluir todas as entradas "Dev_ [dígitos]":
awk 'BEGIN {RS=" "} /Dev_[0-9]+/ {print}' inputfile
Ou, se você quiser especificamente incluir apenas as entradas "Dev":
awk 'BEGIN {RS=" "} /Dev_(795|796|797)/ {print}' inputfile
Eu tenho uma lista extraída de uma saída do json como abaixo.
"Rel_70" "Rel_71" "Dev_795" "Dev_796" "Dev_797" "Devtest_10" "Devtest_12"
Fora disso, quero extrair valores com Dev_ *, ou seja, estou interessado em extrair todos os valores "Dev_795" "Dev_796" "Dev_797".
tr ' ' '\n' < jsonfile | grep '"Dev_'
perl -lne 'print for /"Dev_\d+"/g' jsonfile
while read -ra A; do for a in "${A[@]}"; do case $a in '"Dev_'* ) echo "$a" ;; esac; done; done < jsonfile
Tags text-processing json scripting