A script to get all miui stable rom names

devices

261,HM2XWC_
261,HM2XWCPro_
263,MI4iGlobal_
273,MINotePro_
293,MI4c_
297,HMNote1S_
297,HMNote1SGlobal_
298,HM3_
298,HM3Global_
299,MI5_
299,MI5Global_
300,MI4s_
301,HMNote3Pro_
301,HMNote3ProGlobal_
301,HMNote3ProtwGlobal_
302,MIMAX_
302,MIMAX652_
302,MIMAX652Global_
302,MIMAXGlobal_
303,HM3S_
303,HM3SGlobal_
304,HMPro_
309,HMNote4_
309,HMNote4Global_
309,HMNote4XGlobal_
314,MI5S_
314,MI5SGlobal_
315,MI5SPlus_
315,MI5SPlusGlobal_
316,MINote2_
316,MINote2Global_
317,MIMIX_
317,MIMIXGlobal_
318,HM4_
319,HM4A_
319,HM4AGlobal_
320,HM4Pro_
321,HMNote4X_
323,HM4X_
323,HM4XGlobal_
325,MIPAD3_
326,MI6_
326,MI6Global_
328,MIMAX2_
328,MIMAX2Global_
329,MI5X_
332,HMNote5A_
332,HMNote5AGlobal_
332,HMNote5ALITE_
332,HMNote5ALITEGlobal_
334,MIMIX2_
334,MIMIX2Global_
336,MINote3_
338,HM5A_
340,HM5_
340,HM5Plus_
341,WHYREDGlobal

script.sh

while read device; do
id=$(echo $device | cut -d , -f1)
name=$(echo $device | cut -d , -f2)
{
echo Device: $(cut -d _ -f1 <<< $name) ; echo id: $id
curl -s http://en.miui.com/download-$id.html | grep 'Version:' | grep -o 'V[0-9].[0-9].[0-9].[0-9].[A-Z]*'
} >> data.log
done <devices