Add Sourcegraph Button to GitHub

Add a 'Sourcrgraph' Button on GitHub repository & file page.

You will need to install an extension such as Tampermonkey, Greasemonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Userscripts to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install a user script manager extension to install this script.

(I already have a user script manager, let me install it!)

Advertisement:

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(I already have a user style manager, let me install it!)

Advertisement:

Penulis
whtsky
Pemasangan harian
0
Total pemasangan
51
Nilai
1 0 0
Versi
5
Dibuat
11 November 2019
Diperbarui
18 Juni 2020
ukuran
2,21 KB
Lisensi
N/A
Berlaku untuk

You can also try these related scripts:

  • My Prompt - Manajer Prompt Universal untuk ChatGPT, Gemini, DeepSeek, Grok, Claude, dan LLM lainnya. Optimalkan alur kerja dengan Peningkatan Prompt, Prompt Dinamis, Navigasi Cepat, dan Tempel Cepat. Mendukung Lampiran File Otomatis, pintasan, dan kustomisasi penuh. Mendukung Prompt Eksternal dengan pembaruan otomatis, ideal untuk standardisasi dan efisiensi tim dan pengembang.
  • Lompat GitHub ke Deepwiki - Repositori GitHub melompat ke Deepwiki, mendukung desktop dan seluler
  • Tombol perintah salin klon GitHub (garpu) - Setelah tombol "Kode" di halaman repositori GitHub, tambahkan tombol salin sekali klik menggunakan perintah "git clone --recurse-submodules...".
  • GitHub Percantik daftar file - GitHub File List Beautifier adalah skrip pengguna,digunakan untuk meningkatkan GitHub Menampilkan efek file di gudang。Itu dapat menambahkan warna pada file dan folder,dan ganti ikon jenis file dengan gambar kecil,Membuat basis kode lebih mudah dijelajahi dan dikelola。Tambahkan warna dan ikon ke file berdasarkan jenisnya,Tampilkan gambar kecil sebagai pengganti ikon jenis file di pohon sumber repositori
  • PlumFont - Ganti Roboto, Segoe UI, Arial, dan font lainnya - Ganti font halaman web dengan font kesukaan Anda. Hentikan penggunaan Segoe UI, Arial, dan Microsoft YaHei. Ganti angka bahasa Inggris dengan font SF Pro dan Inter.