Skip to content

Instantly share code, notes, and snippets.

View felixfbecker's full-sized avatar

Felix Becker felixfbecker

View GitHub Profile
@felixfbecker
felixfbecker / tasks.json
Last active March 9, 2021 01:28
VS Code Javac & JUnit tasks.json
/*
Example for quick Java compilation and unit tests in VS Code.
Works well with simple BlueJ projects.
Hit Ctrl+Shift+B to compile currently open file with javac.
Hit Ctrl+Shift+T to test currently open test class.
See red wiggles for compilation errors / failed assertions or click exclamation mark in the status bar.
Uses a few workarounds for individual commands per task and filename without extension.
This is written for Windows but it should be easy to adopt for Linux and Mac.
*/
{
{
"version": 3,
"sources": [
"node_modules/browser-pack/_prelude.js",
"node_modules/angular-animate/angular-animate.js",
"node_modules/angular-animate/index.js",
...
"node_modules/angular/angular.js",
"node_modules/angular/index.js",
"node_modules/javascript-natural-sort/naturalSort.js",
@felixfbecker
felixfbecker / tasks.json
Last active April 29, 2021 12:09
VS Code tasks.json for Latex to PDF compilation w/ problem matcher
/*
An example tasks.json for VS Code that defines a task for compiling Latex to PDF including a problem matcher.
This is for Windows but it should be easy to adopt it for Linux/Mac, basically replace powershell with sh and -Command with -c
*/
{
"version": "0.1.0",
"isShellCommand": true,
"suppressTaskName": true,
"windows": {
"command": "powershell",
@felixfbecker
felixfbecker / github_estimate_sum.js
Created September 16, 2021 15:50
Tampermonkey script to sum up estimates in GitHub Beta project boards
// ==UserScript==
// @name GitHub estimate sum
// @namespace http://tampermonkey.net/
// @version 0.1
// @description try to take over the world!
// @author You
// @match https://github.com/orgs/sourcegraph/projects/*
// @icon https://www.google.com/s2/favicons?domain=github.com
// @grant none
// ==/UserScript==
@felixfbecker
felixfbecker / restore_cmd_f_on_github_project_boards.js
Created September 16, 2021 17:10
Restore Cmd+F on GitHub Beta boards
// ==UserScript==
// @name Restore Cmd+F on GitHub Beta boards
// @namespace http://tampermonkey.net/
// @version 0.1
// @description try to take over the world!
// @author Felix Becker
// @match https://github.com/orgs/sourcegraph/projects/*
// @icon https://www.google.com/s2/favicons?domain=github.com
// @grant none
// ==/UserScript==