Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.
— |
programmazione:meson:ottenere_distro_id [21/01/2024 - 14:27] (versione attuale) Fabio Di Matteo creata |
||
---|---|---|---|
Linea 1: | Linea 1: | ||
+ | ====== Ottenere il tipo di distribuzione Linuxcon Meson buid ====== | ||
+ | Autore: **//Fabio Di Matteo//** \\ Ultima revisione: **// 21/01/2024 - 14:25 //** // // | ||
+ | Puo' essere utile sapere in che tipo di distribuzione stiamo usando Meson build. | ||
+ | |||
+ | ===== Script shell ===== | ||
+ | |||
+ | **getLinuxDistro.sh** | ||
+ | <code bash> | ||
+ | #!/usr/bin/env sh | ||
+ | |||
+ | B=$(cat /etc/os-release |grep --max-count=1 ID) | ||
+ | IFS='='; | ||
+ | tokens=( $B ) | ||
+ | echo ${tokens[1]} | ||
+ | |||
+ | |||
+ | |||
+ | </code> | ||
+ | |||
+ | |||
+ | |||
+ | ===== La parte in meson.build ===== | ||
+ | |||
+ | **meson.build** | ||
+ | |||
+ | <code python> | ||
+ | ... | ||
+ | osType=build_machine.system() | ||
+ | if osType=='linux' | ||
+ | r=run_command('getLinuxDistro.sh', check: true) | ||
+ | distro=r.stdout().strip() | ||
+ | message('We are on linux: '+distro) | ||
+ | endif | ||
+ | |||
+ | ... | ||
+ | </code> |
Il nostro wiki installa solamente cookie tecnici necessari al funzionamento della piattaforma "Dokuwiki". Niente analitics, statistiche, tracciamenti o altro.