Изменить порт Jenkins на macOS

Мне было интересно, как можно изменить порт 8080 Jenkins по умолчанию. Используя Linux или Windows, это просто делается с помощью файла конфигурации. Но конфигурационный файл Jenkins для Mac выглядит совершенно иначе.

Конечно, можно передать параметр --httpPort при запуске сервера, но я хочу сделать это в конфигурационном файле.

Есть ли вариант для этого?

PS: передача экземпляра Jenkins через apache могла бы решить проблему, но я хочу изменить порт Jenkins.

Спасибо!