Skip to content

Instantly share code, notes, and snippets.

View tim-we's full-sized avatar

Tim Weißenfels tim-we

  • Kiel, Germany
  • 05:37 (UTC +02:00)
View GitHub Profile
@tim-we
tim-we / how-to-install.md
Last active December 17, 2020 13:34
How to install things

Ubuntu/Linux Mint 20

Install nodejs

curl -sL https://deb.nodesource.com/setup_14.x | sudo -E bash -

sudo apt-get install -y nodejs

Install Haskell stack on Ubuntu/Linux Mint 20:

@tim-we
tim-we / get-i18n-strings.js
Created April 16, 2020 22:47
Create a simple text file containing all the strings from a messages.json file
const fs = require('fs');
let lang = "it";
let i18n = JSON.parse(fs.readFileSync("src/_locales/" + lang + "/messages.json", "utf8"));
let output = "";
for(const prop in i18n) {
//output += prop + ": ";
@tim-we
tim-we / sidebar-dialog-fix.js
Created December 21, 2018 23:31
Temporary fix for bug 1513656
/* Fix for https://bugzilla.mozilla.org/show_bug.cgi?id=1513656
* Include this script in the sidebar.
*/
(function(){
let _alert = window.alert,
_confirm = window.confirm,
_prompt = window.prompt;
let bg = null;
@tim-we
tim-we / index.d.ts
Created August 25, 2018 10:02
Temporary fix for `firefox-webext-browser` until the PR is accepted (replace node_modules/@types/firefox-webext-browser/index.d.ts)
// Type definitions for WebExtension Development in FireFox 58.0
// Project: https://developer.mozilla.org/en-US/Add-ons/WebExtensions
// Definitions by: Jacob Bom <https://github.com/bomjacob>
// Definitions: https://github.com/DefinitelyTyped/DefinitelyTyped
// TypeScript Version: 2.9
// Generated using script at github.com/bomjacob/definitelytyped-firefox-webext-browser
interface WebExtEventBase<TAddListener extends (...args: any[]) => any, TCallback> {
addListener: TAddListener;
@tim-we
tim-we / Manifest.ts
Created April 26, 2018 23:22
a typescript interface for web extensions manifest.json
interface Manifest {
// mandatory
manifest_version: string,
name: string,
version: string,
// a few common & simple ones
author: string,
default_locale: string,
description: string,