Что контролирует настройки переключателя крышки в GNOME?

вы также можете использовать переключатель --mirror для такого рода заданий.

wget -m URL_OF_PAGE

вот что man wget говорит об этом: