Add Sourcegraph Button to GitHub

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

Você precisará instalar uma extensão como Tampermonkey, Greasemonkey ou Violentmonkey para instalar este script.

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

Você precisará instalar uma extensão como Tampermonkey ou Violentmonkey para instalar este script.

Você precisará instalar uma extensão como Tampermonkey ou Userscripts para instalar este script.

Você precisará instalar uma extensão como o Tampermonkey para instalar este script.

Você precisará instalar um gerenciador de scripts de usuário para instalar este script.

(Eu já tenho um gerenciador de scripts de usuário, me deixe instalá-lo!)

Você precisará instalar uma extensão como o Stylus para instalar este estilo.

Você precisará instalar uma extensão como o Stylus para instalar este estilo.

Você precisará instalar uma extensão como o Stylus para instalar este estilo.

Você precisará instalar um gerenciador de estilos de usuário para instalar este estilo.

Você precisará instalar um gerenciador de estilos de usuário para instalar este estilo.

Você precisará instalar um gerenciador de estilos de usuário para instalar este estilo.

(Eu já possuo um gerenciador de estilos de usuário, me deixar fazer a instalação!)

Autor
whtsky
Instalações hoje
0
Total de instalações
50
Avaliações
1 0 0
Versão
5
Criado
11/11/2019
Atualizado
18/06/2020
Tamanho
2,21 KB
Licença
N/A
Aplicável a

Você também pode experimentar estes scripts relacionados:

  • 🏷️ UTags - Adicionar tags de usuário aos links - Melhore sua experiência de navegação adicionando tags personalizadas e notas a usuários, posts e vídeos na web. Perfeito para organizar conteúdo, identificar usuários e filtrar posts indesejados. Também funciona como uma ferramenta moderna de gerenciamento de favoritos. Suporta mais de 100 sites populares, incluindo X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch e muitos outros.
  • GitHub downloader de pasta - Adicione um botão de download,Permite fácil download de arquivos específicos GitHub pasta。
  • 🏷️ UTags - Adicionar tags de usuário aos links - staging - Melhore sua experiência de navegação adicionando tags personalizadas e notas a usuários, posts e vídeos na web. Perfeito para organizar conteúdo, identificar usuários e filtrar posts indesejados. Também funciona como uma ferramenta moderna de gerenciamento de favoritos. Suporta mais de 100 sites populares, incluindo X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch e muitos outros.
  • Github Copiar arquivo original URL com download de arquivos - Botão Adicionar no final de cada linha do arquivo,para copiar o arquivo original URL e baixar arquivos
  • Github Lista de linguagens de código mostra todas - Expandir Github Lista de idiomas no repositório,Mostrar cada idioma,Em vez de esconder pequenas peças“outro”Abaixo