☰

Fancy Local Directories

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

// ==UserScript==
// @name        Fancy Local Directories
// @namespace   tag:[email protected],2016-09-02:FancyDir
// @description Generate more useful file:// index, to have the base name as the title
// @include     file://*
// @version     1
// @grant       none
// ==/UserScript==

var oldTitle=document.title;

if (oldTitle.search(/^Index of file:\/\//) != -1) {
  var newTitle=oldTitle;
  newTitle=newTitle.replace(/\/+$/,"");
  newTitle=newTitle.replace(/^.*\//,"");
  oldTitle=oldTitle.replace(/^Index of file:\/\//,"");
  newTitle=newTitle + " DIR " + oldTitle;
  document.title=newTitle;
  
} else if (oldTitle.search(/^file:\/\//) != -1) {
  var newTitle=oldTitle;
  newTitle=newTitle.replace(/^.*\//,"");
  oldTitle=oldTitle.replace(/^file:\/\//,"");
  newTitle=newTitle + " FILE " + oldTitle;
  document.title=newTitle;
  
} else if (document.title=="") {
  var path=window.location.pathname;
  var newTitle=path;
  newTitle=newTitle.replace(/^.*\//,"");
  document.title=newTitle + " FILE " + path;
}