4.20. Redirecting pages [Dive Into Greasemonkey]

This book is badly out of date and will probably never be updated. You can find more up-to-date information on the Greasemonkey wiki.

4.20. Redirecting pages

You can use Greasemonkey to automatically redirect certain pages, by setting the window.location.href property.

window.location.href = window.location.href.replace(/^http:/, 'https:');