☰

GitHub Pull requests file path

This scripts converts shortened file paths (.../path/to/file) to full path (full/path/to/file)

Come installare

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

Dovrai installare un'estensione come Tampermonkey o Violentmonkey per installare questo 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!)

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!)

Autore
Péter Farkas
Installazioni giornaliere
0
Installazioni totali
8
Valutazione
0 0 0
Versione
1.1
Creato il
04/01/2018
Aggiornato il
04/01/2018
Dimensione
1,12 KB
Licenza
Non disponibile
Applica a

Puoi provare anche questi scripts collegati:

  • 🏷️ UTags - Aggiungi tag utente ai collegamenti - Migliora la tua esperienza di navigazione aggiungendo tag personalizzati e note a utenti, post e video sul web. Perfetto per organizzare contenuti, identificare utenti e filtrare post indesiderati. Funziona anche come strumento moderno di gestione dei segnalibri. Supporta oltre 100 siti web popolari, tra cui X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch e molti altri.
  • GitHub downloader di cartelle - Aggiungi un pulsante di download，Consente un facile download di specifici GitHub cartella。
  • 🏷️ UTags - Aggiungi tag utente ai collegamenti - staging - Migliora la tua esperienza di navigazione aggiungendo tag personalizzati e note a utenti, post e video sul web. Perfetto per organizzare contenuti, identificare utenti e filtrare post indesiderati. Funziona anche come strumento moderno di gestione dei segnalibri. Supporta oltre 100 siti web popolari, tra cui X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch e molti altri.
  • 🤠 Github ha migliorato le dimensioni di visualizzazione del magazzino dell’assistente - 🤠 Dimensioni di visualizzazione del magazzino: nella ricerca del codice di GitHub, nella ricerca del magazzino, nella pagina dei problemi, nell’elenco dei magazzini degli utenti e nella pagina del repository, la dimensione del magazzino verrà visualizzata accanto al nome del magazzino, consentendo agli utenti di comprendere rapidamente le dimensioni del magazzino e ottimizzare la propria selezione. Avviso di sviluppo inattivo: se un repository non è stato aggiornato negli ultimi sei mesi, il sis
  • GitHub Abbellitore dell’elenco dei file - GitHub File List Beautifier è uno script utente，utilizzato per migliorare GitHub Visualizza l’effetto dei file nel magazzino。Può aggiungere colori a file e cartelle，e sostituisci le icone del tipo di file con piccole immagini，Rende la base di codice più semplice da sfogliare e gestire。Aggiungi colori e icone ai file per tipo，Visualizza piccole immagini al posto delle icone del tipo di file nell’albero di origine del repository