[settings] os=Linux