Существует ли расширение chrome или какой-либо другой внешний инструмент, который позволил бы перенаправлять каждую страницу на локальном сервере в другой порт, кроме a.b.c.d:80?
У нас есть локальная база знаний, и недавно https был добавлен на порт 8443. Однако есть многие, многие, многие страницы, которые пытаются открыть адреса без добавления :8443.
Есть ли способ заставить его?