This is an old revision of the document!
Table of Contents
File Kinds
Here are some file kinds / types that I like, and ones I have some dirt on.
Description
Was always intrigued by these files. Used for describing contents of archives and folders.
- FILE_ID.DIZ FILE_ID.DIZ
- README, READ.ME, README.* README
Browser Extensions
.CRX
Google Chrome extensions. The 'shop' doesn't let you just download them, so the only working solution I found was using the Chrome Extension Downloader website to grab them.
Some links
Linux
.desktop
Desktop files are used to organise programs in the window manager's applications menu and/or launcher (in my case Rofi). They're basically the Linux equivalent of Windows' shortcuts.
In PCManFM you can use .desktop files to define Custom Actions.
Software should provide one, but if you need t ocreate your own, or customise one you can put them in ~/.local/share/applications
.
I have an example one in my /Templates
directory that looks like this:
[Desktop Entry] Type=Application Version=1.0 Name=Template GenericName=Desktop template Comment= Path=/path/to/software/ Exec=executable.x86 Icon=/path/to/icon.ico Terminal=false MimeType= Categories=Game;Utility;
There some notes on making ones for stuff you run through Wine on its page.
- Categories from the Freedesktop spec:
Programmy Stuffs
.editorconfig
File for standardising preferences across text editors, things such as tab length, character format. Also handy for formatting on Github ;)
.gitignore
see §.gitignore in the page for Git.
Web
userContent.css
Firefox still lets you add your own style rules, though I kinda suspect they'll ditch it one day :(
It lives at ~/.mozilla/[profile name]/chrome/userContent.css
, though you might have to manually create the chrome directory, and the .css
file yourself.
Mostly I use it to hide results from shit websites in DuckDuckGo searches, for example:
@-moz-document domain(duckduckgo.com) { /* Hide reults from particular domains */ .result[data-domain="gamesradar.com"], /* anti-adblocker */ .result[data-domain="www.w3schools.com"], /* shifty, low quality */ .result[data-domain="slant.co"], /* low quality */ .result[data-domain="www.gamesradar.com"] /* anti-adblocker */ { display:none; } }
Otherwise I'm just blocking a few pesky ads., and making basic, Web1.0-like pages a bit easier t oread with different colours and line heights.