allen-munsch

/* Decrease the tabs bar height in gnome-terminal
 * Add: ~/.config/gtk-3.0/gtk.css
 * See: https://stackoverflow.com/questions/36869701/decrease-the-tabs-bar-height-in-gnome-terminal
 */

terminal-window notebook > header.top button {
  padding: 0 0 0 0;
  background-image: none;
  border: 0;
  margin-right: 10px;

allen-munsch

#!/bin/bash

set -eux
# Thanks to: https://github.com/paulczar/gcp-cleaner/blob/master/delete-all.sh

export __region=$1

FAIL=0

waitfor() {

allen-munsch

import importlib.metadata

def list_installed_packages():
    distributions = importlib.metadata.distributions()
    installed_packages = []
    for dist in distributions:
        args = (dist.metadata['Name'], dist.version)
        installed_packages.append(args)
    installed_packages.sort()  # Sort the packages by name
    for package_name, version in installed_packages:

allen-munsch

// Import Three.js
import * as THREE from "three";
import { OrbitControls } from "three/addons/controls/OrbitControls";

var scene = new THREE.Scene();
var camera = new THREE.PerspectiveCamera(75, window.innerWidth / window.innerHeight, 0.1, 1000);
var renderer = new THREE.WebGLRenderer();
renderer.setSize(window.innerWidth, window.innerHeight);
document.body.appendChild(renderer.domElement);