☰

Add Sourcegraph Button to GitHub

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

Come installare

Dovrai installare un'estensione come Tampermonkey, Greasemonkey o Violentmonkey per installare questo script.

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

Dovrai installare un'estensione come Tampermonkey o Violentmonkey per installare questo script.

Dovrai installare un'estensione come Tampermonkey o Userscripts per installare questo script.

Dovrai installare un'estensione come ad esempio Tampermonkey per installare questo script.

Dovrai installare un gestore di script utente per installare questo script.

(Ho già un gestore di script utente, lasciamelo installare!)

Advertisement:

Come installare

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

(Ho già un gestore di stile utente, lasciamelo installare!)

Advertisement:
Autore
whtsky
Installazioni giornaliere
0
Installazioni totali
51
Valutazione
1 0 0
Versione
5
Creato il
11/11/2019
Aggiornato il
18/06/2020
Dimensione
2,21 KB
Licenza
Non disponibile
Applica a

Puoi provare anche questi scripts collegati:

  • My Prompt - Gestore Universale di Prompt per ChatGPT, Gemini, DeepSeek, Grok, Claude e altri LLM. Ottimizza i flussi di lavoro con Miglioramento Prompt, Prompt Dinamici, Navigazione Rapida e Incolla Rapido. Include Allegato Automatico di File, scorciatoie e personalizzazione totale. Supporta Prompt Esterni con aggiornamento automatico, ideale per la standardizzazione e l'efficienza dei team.
  • Github salta a Deepwiki - Github Repository salta a Deepwiki, supporta desktop e dispositivi mobili
  • Pulsante di comando copia clone GitHub (fork) - Dopo il pulsante "Codice" nella pagina del repository GitHub, aggiungi un pulsante di copia con un clic utilizzando il comando "git clone --recurse-submodules ...".
  • Github Find Active Forks [Embeded Edition] - Trova i fork più attivi di un repository github.
  • PlumFont - Sostituisci Roboto, Segoe UI, Arial e altri font - Sostituisci i font delle pagine web con quelli preferiti. Smetti di usare Segoe UI, Arial e Microsoft YaHei. Sostituisci i numeri inglesi con i font SF Pro e Inter.