User Tools

Site Tools


file_kinds

This is an old revision of the document!


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.

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.

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.

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.

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.

see §Styling in the Firefox page.

file_kinds.1611646443.txt.gz · Last modified: 2021/01/26 18:34 by rjt