Add Sourcegraph Button to GitHub

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

Installer ce script ?

Visiter le site de l'auteur pour obtenir de l'aide, poser une question, écrire un avis, ou signaler le script.

Auteur

whtsky

Installations quotidiennes

Installations (total)

Notes

1 0 0

Version

Créé

11/11/2019

Mis à jour

18/06/2020

Taille

2,21 ko

Licence

N/A

S'applique à

github.com

Vous pouvez également essayer ces scripts connexes :

🏷️ UTags - Ajouter des tags utilisateur aux liens - Améliorez votre expérience de navigation en ajoutant des tags personnalisés et des notes aux utilisateurs, publications et vidéos sur le web. Parfait pour organiser le contenu, identifier les utilisateurs et filtrer les publications indésirables. Fonctionne également comme un outil moderne de gestion des signets. Prend en charge plus de 100 sites web populaires, notamment X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch et bien d'autres.
GitHub téléchargeur de dossiers - Ajouter un bouton de téléchargement，Permet de télécharger facilement des fichiers spécifiques GitHub dossier。
Ouvrir le lien jsdelivr sur github - Ouvrez le lien GitHub sur JSdelivr pour télécharger rapidement des fichiers
GitHub affiche les tailles de fichiers et de dossiers - Affiche la taille de chaque fichier et dossier dans le référentiel GitHub. Il utilise l’API GitHub pour obtenir des détails, y compris les tailles de dossiers récursives, ce qui facilite la vision de la taille totale des répertoires imbriqués. Afficher la taille du fichier dans KB, MB ou GB
🏷️ UTags - Ajouter des tags utilisateur aux liens - staging - Améliorez votre expérience de navigation en ajoutant des tags personnalisés et des notes aux utilisateurs, publications et vidéos sur le web. Parfait pour organiser le contenu, identifier les utilisateurs et filtrer les publications indésirables. Fonctionne également comme un outil moderne de gestion des signets. Prend en charge plus de 100 sites web populaires, notamment X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch et bien d'autres.