What name

javascript:(function() {
    var url = window.location.href;
    var host = window.location.hostname;
    var path = window.location.pathname;
    var newHost = host.replace(/\./g, '-');
    var newUrl = 'https://' + newHost + '.proxy.wichita.edu' + path;
    window.location.href = newUrl;
})()
Bro
Code v2:
javascript:(function() {
  var currentUrl = window.location.href;
  var urlParts = currentUrl.split('/');
  var subdomain = urlParts[2].replace(/\./g,'-');
  window.location.href = 'https://' + subdomain + '.proxy.wichita.edu/' + urlParts.slice(3).join('/');
})();