veggiemonk’s gists

veggiemonk / vimrc

Created September 8, 2020 21:42

vimrc

	let $RTP=split(&runtimepath, ',')[0]
	let $RC="$HOME/.vim/vimrc"

	filetype plugin indent on
	syntax on

	set shiftwidth=4 tabstop=4 softtabstop=4 expandtab autoindent smartindent
	set path=.,**
	set backspace=start,eol,indent
	set hidden

veggiemonk / migrate_reveal.sh

Created April 27, 2020 18:22

small bash scripts to migrate all slides

	#!/usr/bin/env bash

	rm -rf presentations

	mkdir -p presentations

	function create_html() {

	local HTML='<!DOCTYPE html><html lang="en"><head><meta charset="UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1.0" /><title>Presentations</title></head><body><ul>'

veggiemonk / demo-cloud-run.sh

Created April 18, 2020 14:38

kth serverless demo

	#!/bin/bash

	set -xe
	# Meant to be run in cloud shell

	# Enable APIs if not already done
	# gcloud services enable run.googleapis.com containerregistry.googleapis.com

	echo
	echo "download container image locally"

veggiemonk / a.c

Created March 19, 2020 14:15

	#include<stdio.h>
	int main(void){
	printf("Hello world\n");
	return 0;
	}

veggiemonk / fetch.js

Last active March 13, 2020 08:35

fetch boilerplate


	/**
	* readRequestBody reads in the incoming request body
	* Use await readRequestBody(..) in an async function to get the string
	* @param {Request} request the incoming request to read from
	*/
	export async function readRequestBody(request:Request) {
	const { headers } = request
	const contentType = headers.get('content-type')
	if (contentType != null) {

veggiemonk / debug.log

Created March 4, 2020 06:55

	Hello - from /Users/julien/.vscode/extensions/jaredly.reason-vscode-1.7.7/bin.native
	Previous log location: /var/folders/gv/91zw6nln3054s17v6xpj0c4h0000gn/T/lsp.log
	Sending notification {"jsonrpc": "2.0", "method": "client/registerCapability", "params": {"registrations": [{"id": "watching", "method": "workspace/didChangeWatchedFiles", "registerOptions": {"watchers": [{"globPattern": "/bsconfig.json"}, {"globPattern": "/.merlin"}]}}]}}
	Sending response {"id": 0, "jsonrpc": "2.0", "result": {"capabilities": {"textDocumentSync": 1, "hoverProvider": true, "completionProvider": {"resolveProvider": true, "triggerCharacters": ["."]}, "signatureHelpProvider": {"triggerCharacters": ["("]}, "definitionProvider": true, "typeDefinitionProvider": true, "referencesProvider": true, "documentSymbolProvider": true, "codeActionProvider": true, "executeCommandProvider": {"commands": ["reason-language-server.add_to_interface_inner"]}, "codeLensProvider": {"resolveProvider": true}, "documentHighlightProvider": true, "document

veggiemonk / cloudSettings

Last active September 12, 2020 15:20

vscode

{"lastUpload":"2020-09-12T15:20:07.897Z","extensionVersion":"v3.4.3"}

veggiemonk / python3_osx.sh

Last active January 10, 2020 13:37

Python 3 on Mac Osx

	brew install python # default is version 3.X

	cat << EOF >> ~/.zshrc
	alias python="python3"
	alias p="python3"
	alias pip="pip3"
	alias path='echo -e ${PATH//:/\\n}'
	export PATH="$(python -m site --user-base)/bin":$PATH
	EOF

veggiemonk / basic_install.md

Last active January 23, 2020 20:27

here we go again

sudo xcode-select --install

/usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"

defaults write NSGlobalDomain ApplePressAndHoldEnabled -bool false
defaults write -g InitialKeyRepeat -int 10 # normal minimum is 15 (225 ms)
defaults write -g KeyRepeat -int 1 # normal minimum is 2 (30 ms)

veggiemonk / bitbucket.sh

Last active March 6, 2021 14:46

Download all repos in bitbucket and extract Jenkinsfile

	#!/usr/bin/env bash

	# Best tips and tricks for bash ==> https://github.com/gruntwork-io/bash-commons

	BASE_URL="https://git.netent.com/rest/api/1.0"

	AUTHZ=${AUTHZ:?"AUTHZ var is not defined, it should contain the base64 encoded \`username:password\`"}
	H_JSON="accept: application/json"
	H_AUTHZ="Authorization: Basic $AUTHZ"

Julien Bisconti veggiemonk