Я пытался отключить расширения и выйти из системы (, а также перезапустить ), но безуспешно.
Затем я обнаружил дополнительный параметр в меню «Настройки» > «Устройства» > «Дисплеи» > «Масштаб», который был установлен на 200%. Возможно, он изменился, когда я подключил внешний дисплей, и не изменился обратно, когда я его отключил. Изменение его обратно на 100% исправило это.
Вы ищете что-то подобное в bash:
for ((group = 1; group < 19; ++group)); do
for ((name = 1; name < 5; ++name)); do
printf "VM_NAME_%02d_GROUP%02d\n" "${name}" "${group}"
done
done
Вывод:
VM_NAME_01_GROUP01
VM_NAME_02_GROUP01
VM_NAME_03_GROUP01
VM_NAME_04_GROUP01
VM_NAME_01_GROUP02
...
VM_NAME_04_GROUP18