GitHubのDownload ZIPボタンを書き換えてtar.gzをダウンロードする

はじめに

GitHubには、tar.gzでダウンロードできるurlが存在します。

• githubのリポジトリをwgetでだけで取得したい時 これです。

が、しかし。ブラウザでの閲覧時にはそのボタンはありません。

よし、[DOWNLOAD ZIP] を書き換えてしまえ

bookmarklet

javascript: $('a[data-ga-click="Repository, download zip, location:repo overview"]').each((i,a) => { a.innerHTML = "Download TARBALL"; a.href=a.href.replace(/.zip$/, '.tar.gz'); a.setAttribute('data-ga-click', a.getAttribute('data-ga-click').replace(/zip/, 'tar.gz'))})

生コード

$('a[data-ga-click="Repository, download zip, location:repo overview"]').each(
  (i,a) => {
    a.innerHTML = "Download TARBALL";
    a.href = a.href.replace(/.zip$/, '.tar.gz');
    a.setAttribute('data-ga-click',
      a.getAttribute('data-ga-click').replace(/zip/, 'tar.gz'))})

押すと[DOWNLOAD ZIP]が[DOWNLOAD TARBALL]になります。

以上です。

ツッコミどころ

• わざわざボタンを書き換えずにそのままダウンロードさせればいいのでは
• どうせやるなら HTTPS/SSH みたいな切り替えボタンにできないか？
• そもそもブラウザから見てるときにtar.gzで欲しくなる事ってあるの？