Для открытия файла server.properties в операционной системе Aternos необходимо использовать файловый менеджер или текстовый редактор, поддерживающий работу с текстовыми файлами.

Зайдите на сайт Aternos и войдите в свой аккаунт.Перейдите к выбранному серверу, для которого хотите открыть файл server.properties.В разделе "Файлы" найдите и кликните на файл server.properties.Выберите опцию "Edit" или "Редактировать", чтобы открыть файл во встроенном текстовом редакторе Aternos.После внесения необходимых изменений сохраните файл, нажав на кнопку "Save" или "Сохранить".

Также вы можете скачать файл server.properties на свой компьютер, открыть его в любом удобном текстовом редакторе (например, Notepad++, Sublime Text, Visual Studio Code и т.д.), внести необходимые изменения и затем загрузить обновленный файл обратно на сервер через раздел "Файлы" на сайте Aternos.