Skip to content

Instantly share code, notes, and snippets.

View PhilippSalvisberg's full-sized avatar

Philipp Salvisberg PhilippSalvisberg

View GitHub Profile
@dehsilvadeveloper
dehsilvadeveloper / 0_prerequisites.md
Last active March 19, 2026 19:19
Installing Docker on WSL 2 with Ubuntu 22.04

Installing Docker on WSL 2 with Ubuntu 22.04

Instalando Docker em um WSL 2 com Ubuntu 22.04

Prerequisites

Before start the installation process, make sure you meet the following prerequisites:

  • A Windows 10 operating system with WSL 2 support.
  • WSL 2 enabled.
  • Ubuntu 22.04 installed on WSL 2.
@fayak
fayak / docker-pruner.sh
Last active February 11, 2026 11:51
Docker pruner. Deletes docker's overlay2 leftovers that survive 'docker system prune -af --volumes'
#!/usr/bin/env bash
set -eEuo pipefail
MARKER_FILE_NAME="${DOCKER_PRUNER_MARKER:-DOCKER-PRUNER-MARKER-FILE}"
DOCKER_PATH="${DOCKER_PATH:-/var/lib/docker/overlay2}"
function _used_dirs() {
for docker_obj in $(docker ps -aq) $(docker image ls -aq); do
lowerdir="$(docker inspect "$docker_obj" | jq '.[].GraphDriver.Data.LowerDir' -r)"
#!/bin/bash
# MAVEN DEPS
declare -a array=("https://repo1.maven.org/maven2/org/graalvm/truffle/truffle-api"
"https://repo1.maven.org/maven2/org/graalvm/regex/regex"
"https://repo1.maven.org/maven2/com/ibm/icu/icu4j"
"https://repo1.maven.org/maven2/org/graalvm/sdk/graal-sdk"
"https://repo1.maven.org/maven2/org/graalvm/js/js"
"https://repo1.maven.org/maven2/org/graalvm/js/js-scriptengine")
@mef
mef / how-to-run-oracle-sqlcl-git-bash-windows.md
Last active December 1, 2021 21:28
make Oracle sqlcl work in git bash (windows)

About

Notes about how to fix issues met when trying to run sqlcl from git bash on Windows

Environment

Running mintty v2.8.5 on a windows 10 machine.

$ uname -a
@MoOx
MoOx / README.md
Last active May 11, 2023 13:59
How to keep in sync your Git repos on GitHub, GitLab & Bitbucket easily
@brianbruggeman
brianbruggeman / LICENSE
Last active April 23, 2025 17:20
Convert Viscosity to Open VPN
Public Domain
var Thread = java.lang.Thread;
var ServerSocket = java.net.ServerSocket;
var PrintWriter = java.io.PrintWriter;
var InputStreamReader = java.io.InputStreamReader;
var BufferedReader = java.io.BufferedReader;
var FileInputStream = java.io.FileInputStream;
var ByteArray = Java.type("byte[]");
var PORT = 8080;
script
//
// AS A SQLcl SCRIPT
//
var json = {"INPUT": "hello world"};
var reply = httpPost("HTTP://API.SHOUTCLOUD.IO/V1/SHOUT", JSON.stringify(json));
ctx.write("\n\n");
ctx.write(JSON.stringify(reply));
ctx.write("\n\n");
@danekja
danekja / repositorydeploy.py
Created December 30, 2016 10:56
Script for bulk deploy of a local Maven repository into a remote one.
"""
Deploys local maven repository to a remote one.
Requires python 3.x and Maven 3.2.x and higher (lower versions of Maven might work in certain setups,
but have issues with SNI).
"""
import os
import os.path as p
import subprocess as subp
@juderosen
juderosen / git-wars.md
Last active July 14, 2025 11:11
Git Wars: GitHub vs Bitbucket

Git Wars: GitHub vs Bitbucket

Introduction

Now, you might think the answer I'm going to give you is already obvious because I'm using GiHub right now, but it's not. Both GitHub and Bitbucket offer great Git services, but each has its own features and pricing plans. In the following... thing, I'm going to compare the two and then offer a final solution that should work for most people.

TL;DR: Both. Use GitHub for open source and public repos (you'll spend most of your time here) and Bitbucket for private repos. But, sign up for GitHub first, then import account into Bitbucket. Also, check comments for updates. P.S. I personally prefer GitHub.

Interface and Functionality