Add Sourcegraph Button to GitHub

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

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 à

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。
Github Copier le fichier original URL avec des fichiers à télécharger - Ajouter un bouton à la fin de chaque ligne de fichier，pour copier le fichier original URL et télécharger des fichiers
PlumFont - Remplacez Roboto, Segoe UI, Arial et autres polices - Remplacez les polices des pages Web par celles de votre choix. Arrêtez d'utiliser Segoe UI, Arial et Microsoft YaHei. Remplacez les chiffres anglais par les polices SF Pro et Inter.
Ouvrir le lien jsdelivr sur github - Ouvrez le lien GitHub sur JSdelivr pour télécharger rapidement des fichiers