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 archive sand 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.

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.1603593163.txt.gz · Last modified: 2020/10/25 13:32 by rjt