Xiaomi Flash tool for Linux

[Erekoze]

Well I tried the script flash_all.sh and works like a charm. flash_all.bat works very well too.