pukiwiki1.5/bookmarklet の履歴の現在との差分(No.1)

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

• 追加された行はこの色です。
• 削除された行はこの色です。

#author("2023-12-29T16:16:50+09:00","default:nemusg.pad","nemusg.pad")
* ドメイン切り替えブックマークレット [#y7b29d0b]
#author("2023-12-29T16:22:40+09:00","default:nemusg.pad","nemusg.pad")
#title(pukiwiki.osdn.jpをpukiwiki.sourceforge.ioに切り替えるブックマークレット)

** Pukiwiki公式サイトのドメイン変更（2023年11月） [#bb03557c]
* 経緯 [#bb03557c]

- （2023年11月）pukiwiki.osdn.jpへアクセスができない状況になっていましたが、[[pukiwiki.sourceforge.io:https://pukiwiki.sourceforge.io/]]に移転して復活したようです。サイト内のosdn.jpは概ね置換しました。[[経緯:https://twitter.com/shujisado/status/1725031032196563234]]
- Pukiwiki公式サイトのドメイン変更（2023年11月）
- pukiwiki.osdn.jpへアクセスができない状況になっていましたが、[[pukiwiki.sourceforge.io:https://pukiwiki.sourceforge.io/]]に移転して復活したようです。サイト内のosdn.jpは概ね置換しました。[[経緯:https://twitter.com/shujisado/status/1725031032196563234]]

** 問題 [#s84ba7fe]
* 問題 [#s84ba7fe]

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

** ブックマークレット [#vffc6407]
* ブックマークレット [#vffc6407]

[[1クリックURL切り替え #JavaScript - Qiita:https://qiita.com/sssssumito/items/85249749837ce9aa2de9]]を使わせてもらいました
[[1クリックURL切り替え #JavaScript - Qiita:https://qiita.com/sssssumito/items/85249749837ce9aa2de9]]を使わせてもらいました。適当なブックマークを編集する等して使ってください。

 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:` なし

#code_x{{
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;
  }
}
}}