Skip to content

Instantly share code, notes, and snippets.

View fwilhe's full-sized avatar
🐧
Working on Project "Garden Linux"

Florian Wilhelm fwilhe

🐧
Working on Project "Garden Linux"
81 followers · 466 following
  • @SAP SE
  • Potsdam
  • 13:43 (UTC +02:00)
View GitHub Profile
@fwilhe
fwilhe / template.yaml
Created July 20, 2020 08:33
# .github/workflows/ci.yaml
name: CI
on:
push:
branches: [ $default-branch ]
pull_request:
branches: [ $default-branch ]
jobs:
build:
@fwilhe
fwilhe / run.sh
Created March 25, 2020 13:59
show java system properties
echo 'class Test { public static void main( String[] args ) { System.out.println( System.getProperties() ); } }' > Test.java; javac Test.java; java Test
@fwilhe
fwilhe / package-list.txt
Created December 27, 2018 21:46
Fedora Silverblue Package List
vim zsh htop mc autojump autojump-zsh httpie the_silver_searcher jq git make direnv thunderbird keepassxc java-11-openjdk
@fwilhe
fwilhe / index.adoc
Created August 1, 2016 11:08
CSS Cheat Sheet

CSS Cheat Sheet

Language Syntax

Class

.myclass

Id

#myId

@fwilhe
fwilhe / gnome-custom-keybinding.sh
Last active November 16, 2019 15:20
Create custom key binding for GNOME to start an application
# Set Keybinding for GNOME Terminal in Slot 0
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ name "GNOME Terminal"
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ command "gnome-terminal --maximize"
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ binding "<Primary><Alt>t"
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/']"
# Print out all Slots
for i in `seq 0 9`;
do
@fwilhe
fwilhe / .gitlab-ci.yml
Last active May 14, 2016 17:40
image: rochdev/alpine-asciidoctor:micro
pages:
stage: deploy
script:
- asciidoctor *.adoc
- mkdir .public
- cp -r *.html .public
- mv .public public
artifacts:
paths:
@fwilhe
fwilhe / colorchannels.sh
Last active June 16, 2016 18:20
Experimentation with Color Channels
#!/bin/bash
# picture licence: cc-by-sa Nakiel
wget https://upload.wikimedia.org/wikipedia/commons/e/e2/1213303317_gal_dsc_4158_02.jpg -O natur.jpg
convert natur.jpg natur.png
rm natur.jpg
# create separate pictures for each chanel in RGB, CMY and CMYK models.
convert natur.png -separate natur_RGB_%d.png
convert natur.png -colorspace CMY -separate natur_CMY_%d.png
@fwilhe
fwilhe / xforwarding.adoc
Created May 9, 2016 08:25
Enable X Forwarding for Vagrant Boxes

Create or change the file ~/.ssh/config and add the following lines:

Host 127.0.0.1
    ForwardX11 yes
@fwilhe
fwilhe / unextract.py
Created May 6, 2016 20:38
unextract.py
#!/usr/bin/env python
from __future__ import print_function
from jinja2 import Template
import zipfile
htmlTemplate = '''
<html>
<body>
<table border="1">
@fwilhe
fwilhe / gist:c652d88cf51eb1fe9922c095e31cf7f9
Created April 4, 2016 17:44
asciidoc-googledocs-addon execution transcript
[16-04-04 19:43:14:413 CEST] Starting execution
[16-04-04 19:43:14:687 CEST] DocumentApp.getActiveDocument() [0.138 seconds]
[16-04-04 19:43:14:688 CEST] Document.getSelection() [0 seconds]
[16-04-04 19:43:14:688 CEST] DocumentApp.getActiveDocument() [0 seconds]
[16-04-04 19:43:14:689 CEST] Document.getBody() [0 seconds]
[16-04-04 19:43:14:689 CEST] Body.getNumChildren() [0 seconds]
[16-04-04 19:43:14:690 CEST] Body.getChild([0]) [0 seconds]
[16-04-04 19:43:14:690 CEST] Body.getNumChildren() [0 seconds]
[16-04-04 19:43:14:690 CEST] Body.getChild([1]) [0 seconds]
[16-04-04 19:43:14:691 CEST] Body.getNumChildren() [0 seconds]