Выбранное решение заключалось в разработке небольшого расширения для Chrome, которое вставляет кнопку рядом с адресной строкой.
Основной код указан ниже.
manifest.json
{
"name": "My First Extension",
"version": "1.0",
"description": "The first extension that I made.",
"background_page": "dostuff.html",
"browser_action": {
"default_icon": "icon.png"
},
"permissions": [
"tabs", "http://*.google.com/", "https://*.google.com/" ]
}
dostuff.html
<html>
<script>
var sciencedirectold = /sciencedirect.com\//;
var sciencedirectnew = "sciencedirect.com.proxy1-bib.sdu.dk:2048/";
function updateUrl(tab){
if(tab.url.match(sciencedirectold))
{
var newurl = tab.url.replace(sciencedirectold, sciencedirectnew);
chrome.tabs.update(tab.id, {url: newurl});
}
}
chrome.browserAction.onClicked.addListener(function(tab) {updateUrl(tab);});
</script>
</html>