Fancy Local Directories

Generate more useful file:// index, to have the base name as the title

Εγκατάσταση αυτού του κώδικα Βοήθεια

Κάντε μια ερώτηση, δημοσιεύστε μια ανασκόπηση, ή αναφέρετε τον κώδικα.

Δημιουργός

Rokdun

Ημερήσιες εγκαταστάσεις

Σύνολο εγκαταστάσεων

Βαθμολογίες

0 0 0

Έκδοση

Δημιουργήθηκε την

02/09/2016

Ενημερώθηκε την

02/09/2016

Μέγεθος

1013 Bytes

Άδεια

Μη διαθέσιμη

Εφαρμόζεται σε

file://*

Very simple script that change the title of "directory index" pages (when you open a local directory of your hard disk in your web browser), so the title becomes "name-of-the-directory DIR full-path-of-the-directory". Prefixing the title with the name of the directory makes it easier to find the directory among several tabs.

Same thing is done for title-less documents, such as text files or HTML files without a "title" tag. The title is set to "name-of-the-file FILE full-path-of-the-file".

I looked for an extension or a Firefox setting to achieve this (because the default title "index of file:///disk/path/file" is useless in a tab), did not find anything; with a Userscript it was trivial to do.