/ usr / share / doc / restic / html / _static / [ HOME SHELL ] 
Name Size Permission Action
  css [ DIR ] drwxr-xr-x  
  fonts [ DIR ] drwxr-xr-x  
  js [ DIR ] drwxr-xr-x  
  basic.css 14.32 KB -rw-r--r--   
  doctools.js 9.4 KB -rw-r--r--   
  documentation_options.js 356 B -rw-r--r--   
  favicon.ico.gz 1.88 KB -rw-r--r--   
  file.png 286 B -rw-r--r--   
  jquery.js 281.79 KB -rw-r--r--   
  language_data.js 10.6 KB -rw-r--r--   
  logo.png 166.44 KB -rw-r--r--   
  minus.png 90 B -rw-r--r--   
  plus.png 90 B -rw-r--r--   
  pygments.css 4.73 KB -rw-r--r--   
  searchtools.js 16.55 KB -rw-r--r--   
  underscore.js 66.79 KB -rw-r--r--   

${this.title}

 

Rename : searchtools.js