Comment saisir une valeur INI dans un script shell script ?

Question

J'ai un fichier parameters.ini, tel que :

[parameters.ini]
    database_user    = user
    database_version = 20110611142248

Je veux lire et utiliser la version de la base de données spécifiée dans le fichier parameters.ini à partir d'un shell bash script pour pouvoir la traiter.

#!/bin/sh    
# Need to get database version from parameters.ini file to use in script    
php app/console doctrine:migrations:migrate $DATABASE_VERSION

Comment dois-je m'y prendre ?

Answer 1

J'ai une belle phrase (en supposant que vous avez php y jq installé) :

cat file.ini | php -r "echo json_encode(parse_ini_string(file_get_contents('php://stdin'), true, INI_SCANNER_RAW));" | jq '.section.key'

Answer 2

Ce fil de discussion n'a pas assez de solutions à choisir, donc voici ma solution, elle ne nécessite pas d'outils tels que sed o awk :

grep '^\[section\]' -A 999 config.ini | tail -n +2  | grep -B 999 '^\[' | head -n -1 | grep '^key' | cut -d '=' -f 2 

Si vous devez prévoir des sections de plus de 999 lignes, n'hésitez pas à adapter l'exemple ci-dessus. Notez que vous voudrez peut-être couper la valeur résultante, pour supprimer les espaces ou une chaîne de commentaires après la valeur. Supprimez le ^ si vous devez faire correspondre des clés qui ne commencent pas au début de la ligne, comme dans l'exemple de la question. Dans ce cas, il est préférable de rechercher explicitement les espaces blancs et les tabulations.

Si vous avez plusieurs valeurs dans une section donnée que vous voulez lire, mais que vous voulez éviter de lire le fichier plusieurs fois :

CONFIG_SECTION=$(grep '^\[section\]' -A 999 config.ini | tail -n +2  | grep -B 999 '^\[' | head -n -1)

KEY1=$(echo ${CONFIG_SECTION} | tr ' ' '\n' | grep key1 | cut -d '=' -f 2)
echo "KEY1=${KEY1}"
KEY2=$(echo ${CONFIG_SECTION} | tr ' ' '\n' | grep key2 | cut -d '=' -f 2)
echo "KEY2=${KEY2}"