| class Heap | |
| def initialize(*elems) | |
| @h= heapify(elems) | |
| end | |
| def inspect | |
| return '(empty)' if @h.empty? | |
| @h | |
| .group_by.with_index{ Math.log2(_2+1).to_i } | |
| .map{ |l,vs| vs.join(' ') } | |
| .join("\n") |
| #!/bin/bash | |
| # Options to -draw are not well documented; | |
| # see: https://www.imagemagick.org/Usage/fonts/ | |
| set -euo pipefail | |
| IFS=$'\n\t' | |
| indir="/media/sebastian/3161-3938/DCIM" |
| # For each page in input.pdf, | |
| # generate image(s) in PNG format | |
| # named output_<PAGE>.png | |
| # where PAGE is a 4-digit zero-padded number. | |
| pdfinfo input.pdf \ | |
| | grep Pages \ | |
| | awk -F'[: ]*' '{print $2}' \ | |
| | xargs seq \ | |
| | parallel \ | |
| '\ |
| 1. Download and install the official PPD files | |
| See https://www.konicaminolta.de/de-de/support/download-center | |
| Latest version at time of writting is `BH554ePPDLinux_300000000MU.zip` | |
| 2. Find out printer's IP address | |
| On the printer, press |
| # Setup eduroam connection using personal certificate (802-1.x WPA EAP) | |
| # at the University of Passau. | |
| # | |
| # PREREQUISITES | |
| # | |
| # Instructions based on "Manuelle Einrichtung" [1] and Stackoverflow [2]. | |
| # | |
| # 0) mkdir ~/.eduroam # create dir holding certificate files | |
| # 1) download private key in PKCS#12 format [3], save as ~/.eduroam/eduroam.p12 | |
| # 2) download radius root certificate [4], save as ~/.eduroam/radius_rootcert.pem |
Install Win10 as a guest in QEMU, running on a Debian host.
# Host machine used.
uname -a
Linux x220 5.10.0-2-amd64 #1 SMP Debian 5.10.9-1 (2021-01-20) x86_64 GNU/Linux
This is based on https://linuxconfig.org/how-to-create-and-manage-kvm-virtual-machines-from-cli.
| #!/usr/bin/env python3 | |
| # Copyright 2020 Sebastian Gassner <sebastian.gassner@gmail.com> | |
| # License: MIT | |
| # Based on java.org.apache.solr.security.Sha256AuthenticationProvider | |
| # | |
| # Usage: generate_user_credentials.py USER PASS | |
| # | |
| # Then add the output into security.json under 'credentials'. |
| #!/bin/bash | |
| # See https://stackoverflow.com/questions/40796231/how-does-xpath-deal-with-xml-namespaces. | |
| # To ignore namespaces use local-name(), for example: | |
| # | |
| # xmllint --xpath '//*[local-name()="structMap" and @TYPE="LOGICAL"]/*[local-name()="div"]/@TYPE' meta.xml | |
| # Working example. | |
| cat <<EOXML | xmllint --xpath '//*[local-name()="structMap" and @TYPE="LOGICAL"]/*[local-name()="div"]/@TYPE' - | |
| <?xml version="1.0" encoding="UTF-8"?> |
| # From: https://stackoverflow.com/questions/11111562/rsync-copy-over-only-certain-types-of-files-using-include-option?answertab=active#tab-top | |
| # | |
| # -m avoids creating empty directories | |
| # | |
| # --include must be specified before --exclude | |
| sudo rsync -avzm --include="*/" --include='meta.xml' --exclude="*" source/ target/ |
Stream HDMI video from a Nikon D7000, for usage in online meetings, video recording, etc.
Based on this video on Youtube.