Лучший способ получить номер из файла JSON (кроме JQ)

Question

Я получил это: JSON

# coverage/.last_run.json 
{ 
    "result": { 
    "covered_percent": 100.0 
    } 
} 

Я хочу, чтобы получить не-округлой целое число (в данном случае, 100) для ключа covered_percent , Я не хочу использовать jq, ruby, python, perl и т. Д., Просто простые инструменты unix, которые поставляются на стандартной установке ubuntu. До сих пор у меня есть следующее:

grep -o '"covered_percent":.*[0-9]*' coverage/.last_run.json | sed 's/"covered_percent": //g' | sed 's/\.[0-9]*//g' 

Как я могу сделать это лучше?

Answer 1

Ну, если вы действительно не хотите использовать jq, AWK может быть ответом:

$ awk '/covered_percent/ {print substr($0,match($0,/[0-9]+/),RLENGTH)}' file 
100 

Сериализация grep S также может сделать трюк:

$ grep covered_percent file | grep -o [1-9][0-9]* | head -1 

head нужен как для 99.99grep -o возвращается:

99 
99 

Оба решения как таковые сбой для входов < 1, например .9, и печать 9. Это можно зафиксировать, добавив regexen с [^.].

Но помните, что стандартный Unix инструменты не подходят для обработки JSON, стандарт Unix инструменты не подходят для обработки JSON, стандарт Unix инструменты не подходят для обработки JSON, ...