misc/filehighlight.ini

   1 [executable]
   2     type=FILE_EXE
   3
   4 [directory]
   5     type=DIR
   6
   7 [device]
   8     type=DEVICE
   9
  10 [special]
  11     type=SPECIAL
  12
  13 [stalelink]
  14     type=STALE_LINK
  15
  16 [symlink]
  17     type=SYMLINK
  18
  19 [hardlink]
  20     type=HARDLINK
  21
  22 [core]
  23     regexp=^core\\.*\\d*$
  24
  25 [temp]
  26     extensions=~;$$$;bak;tmp
  27     extensions_case=false
  28     regexp=(^#.*|.*~$)
  29
  30 [archive]
  31     extensions=7z;Z;ace;arc;arj;ark;bz2;cab;gz;lha;lz;lz4;lzh;lzma;rar;rpm;tar;tbz;tbz2;tgz;tlz;xz;zip;zoo
  32
  33 [doc]
  34     extensions=chm;css;ctl;diz;doc;docm;docx;dtd;htm;html;letter;lsm;mail;man;me;msg;nroff;odp;ods;odt;pdf;po;ppt;pptm;pptx;ps;rtf;sgml;shtml;tex;text;txt;xls;xlsm;xlsx;xml;xsd;xslt
  35
  36 [source]
  37     extensions=ada;asm;awk;bash;c;caml;cc;cgi;cpp;cxx;diff;erl;h;hh;hi;hpp;hs;inc;jasm;jav;java;js;m4;mak;ml;mli;mll;mlp;mly;pas;patch;php;phps;pl;pm;prg;py;rb;sas;sh;sl;st;tcl;tk;xq
  38
  39 [media]
  40     extensions=3gp;ape;asf;avi;flac;flv;it;m3u;med;mid;midi;mkv;mod;mol;mov;mp2;mp3;mp4;mpeg;mpg;mpl;ogg;ogv;s3m;umx;vob;wav;webm;wma;wmv;xm
  41
  42 [graph]
  43     extensions=ai;bmp;cdr;eps;gif;ico;jpeg;jpg;omf;pcx;pic;png;rle;svg;tif;tiff;webp;wmf;xbm;xcf;xpm
  44
  45 [database]
  46     extensions=cdx;dat;db;dbf;dbi;dbx;fox;mdb;mdn;mdx;msql;mssql;pgsql;sql;ssql