remix-project/apps/remix-ide/src/404.html

<!DOCTYPE html>
<html>
  <head>
    <title></title>
  </head>
  <body></body>
  <script>
    let route = window.location.pathname
    if (route.startsWith('/address/0x') && route.length === 51) {
      window.location.href = '/#/address=' + route.replace('/address/', '')
    } else if (route.endsWith('.sol')) {
      window.location.href = '/#/url=https://github.com' + route 
    } else window.location.href = '/' 
  </script>
</html>
404.html added 3 years ago			`<!DOCTYPE html>`
			`<html>`
			`<head>`
404 updated 3 years ago			`<title></title>`
404.html added 3 years ago			`</head>`
			`<body></body>`
			`<script>`
404 updated 3 years ago			`let route = window.location.pathname`
			`if (route.startsWith('/address/0x') && route.length === 51) {`
remove one hash 3 years ago			`window.location.href = '/#/address=' + route.replace('/address/', '')`
404 updated 3 years ago			`} else if (route.endsWith('.sol')) {`
remove one hash 3 years ago			`window.location.href = '/#/url=https://github.com' + route`
404 updated 3 years ago			`} else window.location.href = '/'`
404.html added 3 years ago			`</script>`
			`</html>`