Skip to content

Instantly share code, notes, and snippets.

View procrastinatio's full-sized avatar
💭
Post Tenebras Spero Lucem

Marc Mönneråt procrastinatio

💭
Post Tenebras Spero Lucem
View GitHub Profile
#/bin/bash
# Install script for mapfish-print v3 on Ubunut 20.04 (focal)
sudo apt-get update && sudo apt-get install -y docker git make build-essential
sudo apt-get install -y openjdk-13-jdk && export JAVA_HOME=/usr/lib/jvm/java-13-openjdk-arm64
git clone https://github.com/mapfish/mapfish-print.git && cd mapfish-print/
sudo apt install -y docker-compose docker
sudo usermod -aG docker $USER
@procrastinatio
procrastinatio / dir_copy.py
Created July 29, 2024 15:38
Intelligent directory copy
#!/usr/bin/env python3
import os
import shutil
from pathlib import Path
import argparse
def parse_arguments():
"""Parse command-line arguments."""
@procrastinatio
procrastinatio / gotop_install.ps1
Last active May 15, 2025 14:04
Creating Desktop shortlink for installing GOTOP/TopGis
#
# Script to create various shortlinks on User's Desktop to the WalletManager, Topgis Python installer and Environment changer
#
# Copy this file as a Gist on https://gist.githubusercontent.com/procrastinatio/041abb4dd9617ed5b5e72ebd790643a1/raw/gotop_install.ps1
# It will be dynamically donwlaod and executed by `install_shortcuts_from_gist.ps1`
#
$username=( ( Get-WMIObject -class Win32_ComputerSystem | Select-Object -ExpandProperty username ) -split '\\' )[1]