У меня есть список, извлеченный из json, как показано ниже.
"Rel_70" "Rel_71" "Dev_795" "Dev_796" "Dev_797" "Devtest_10" "Devtest_12"
Из этого я хочу извлечь значения с помощью Dev_ *, т.е. мне интересно извлечь все значения «Dev_795», «Dev_796» «Dev_797».
Чтобы включить все записи "Dev_[digits]":
awk 'BEGIN {RS=" "} /Dev_[0-9]+/ {print}' inputfile
Или, если вы хотите включить только эти записи "Dev":
awk 'BEGIN {RS=" "} /Dev_(795|796|797)/ {print}' inputfile
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