Minor update: check if devicelist.txt exists

pull/157/head
Alex 2022-06-12 23:42:05 +02:00
parent 140c2053c9
commit c9be9bc88a
1 changed files with 1 additions and 1 deletions

View File

@ -1242,7 +1242,7 @@ if [ $? -eq 0 ] ; then
fi
fi
if [ ! -f ${DEVLIST}.json ] ; then
if [ ! -f ${DEVLIST}.json -o ! -f ${DEVLIST}.txt ] ; then
echo "device list does not exist. downloading ..."
get_devlist
if [ ! -f ${DEVLIST}.json ] ; then