☰

Github Ctrl+Enter Commit

Commits a file on ctrl+enter

Autor
Augustus Eel
Installationen heute
0
Installationen gesamt
1
Bewertungen
0 0 0
Version
1.0
Erstellt am
25.12.2018
Letzte Aktualisierung
25.12.2018
Größe
2,65 KB
Lizenz
n/a
Wird angewandt auf

Sie können auch diese verwandten Skripte ausprobieren:

  • 🏷️ UTags - Benutzer-Tags zu Links hinzufügen - Verbessern Sie Ihr Browsing-Erlebnis, indem Sie benutzerdefinierte Tags und Notizen zu Benutzern, Beiträgen und Videos im Web hinzufügen. Perfekt zum Organisieren von Inhalten, Identifizieren von Benutzern und Filtern unerwünschter Beiträge. Funktioniert auch als modernes Lesezeichen-Management-Tool. Unterstützt über 100 beliebte Websites, darunter X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch und viele mehr.
  • PlumFont - Ersetzen Sie Roboto, Segoe UI, Arial und andere Schriftarten - Ersetzen Sie die Schriftarten von Webseiten durch Ihre bevorzugten. Hören Sie auf, Segoe UI, Arial und Microsoft YaHei zu verwenden. Ersetzen Sie englische Ziffern durch die Schriftarten SF Pro und Inter.
  • Github Star Warehouse Note Assistent - Haben Sie den Zweck von Sternrepositories vergessen? Dies ist ein Skript, das Ihren bevorzugten Repositorys Notizen hinzufügen kann, und die Informationen, die Sie Kommentare erhalten
  • GitHub zeigt Datei- und Ordnergrößen an - Zeigt die Größe jeder Datei und jedes Ordner im GitHub -Repository an. Es verwendet die GitHub -API, um Details zu erhalten, einschließlich rekursiver Ordnergrößen, wodurch die Gesamtgröße verschachtelter Verzeichnisse leicht erkennen kann. Dateigröße in KB, MB oder GB anzeigen
  • 🏷️ UTags - Benutzer-Tags zu Links hinzufügen - staging - Verbessern Sie Ihr Browsing-Erlebnis, indem Sie benutzerdefinierte Tags und Notizen zu Benutzern, Beiträgen und Videos im Web hinzufügen. Perfekt zum Organisieren von Inhalten, Identifizieren von Benutzern und Filtern unerwünschter Beiträge. Funktioniert auch als modernes Lesezeichen-Management-Tool. Unterstützt über 100 beliebte Websites, darunter X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch und viele mehr.