pukiwiki1.5/bookmarklet の履歴(No.1)

• 履歴一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• pukiwiki1.5/bookmarklet へ行く。
  • 1 (2023-12-29 (金) 16:16:50)
  • 2 (2023-12-29 (金) 16:22:40)

---

ドメイン切り替えブックマークレット#

Pukiwiki公式サイトのドメイン変更（2023年11月）#

• （2023年11月）pukiwiki.osdn.jpへアクセスができない状況になっていましたが、pukiwiki.sourceforge.ioに移転して復活したようです。サイト内のosdn.jpは概ね置換しました。経緯

問題#

サイトは復活したもののまだ pukiwiki.osdn.jp が検索に引っかかる状況で、pukiwiki.sourceforge.io に置き換えるのがややめんどう。→ブックマークレット

ブックマークレット#

1クリックURL切り替え #JavaScript - Qiitaを使わせてもらいました

javascript: var domains = [{pc:'pukiwiki.osdn.jp',sp:'pukiwiki.sourceforge.io'}];for( var service of domains ) {if(location.host == service['pc']) {location.href = location.href.replace(service['pc'], service['sp']);break;} else if(location.host == service['sp']) {location.href = location.href.replace(service['sp'], service['pc']);break;}}

改行あり javascript: なし

var domains = [
  {pc:'pukiwiki.osdn.jp',sp:'pukiwiki.sourceforge.io'},
  {pc:'hoge.example.com',sp:'poge.example.com'}
];
for( var service of domains ) {
  if(location.host == service['pc']) {
    location.href = location.href.replace(service['pc'], service['sp']);
    break;
  } else if(location.host == service['sp']) {
    location.href = location.href.replace(service['sp'], service['pc']);
    break;
  }
}