Last updated on 2020-07-24 13:07
OKRs Q3 2020 Key result: "I have decided between ZIO or Cats IO (or similar) and justified this decision."
This document is a wrap-up of my research on which Functional Programming library to use in Scala.
Philipp "Flipsi" Moers flipsi
flipsi
/ gist:0d781e139b45cdcdfc56e8107242a42e
Created
January 2, 2025 18:29
2025-01-02 rofi timings output
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (process:1597597): Timings-DEBUG: 19:27:37.760: 0.000000 (0.000000): Started | |
| (process:1597597): Timings-DEBUG: 19:27:37.763: 0.002657 (0.002657): ../rofi/source/rofi.c:main:959 | |
| (process:1597597): Timings-DEBUG: 19:27:37.763: 0.003282 (0.000625): ../rofi/source/rofi.c:main:1010 | |
| (process:1597597): Timings-DEBUG: 19:27:37.763: 0.003374 (0.000092): ../rofi/source/rofi.c:main:1017 Setup Locale | |
| (process:1597597): Timings-DEBUG: 19:27:37.763: 0.003509 (0.000135): ../rofi/source/rofi.c:main:1019 Collect MODES | |
| (process:1597597): Timings-DEBUG: 19:27:37.764: 0.003523 (0.000014): ../rofi/source/rofi.c:main:1021 Setup MODES | |
| (process:1597597): Timings-DEBUG: 19:27:37.764: 0.003539 (0.000016): ../rofi/source/rofi.c:main:1025 Setup mainloop | |
| (process:1597597): Timings-DEBUG: 19:27:37.764: 0.003599 (0.000060): ../rofi/source/rofi.c:main:1028 NK Bindings | |
| (process:1597597): Timings-DEBUG: 19:27:37.764: 0.003883 (0.000284): ../rofi/source/xcb.c:display_setup:1701 Open Display | |
| (process:1597597): Timings-DEBUG: 19:27:37.764: 0.0 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /** | |
| * rofi -dump-theme output. | |
| * Rofi version: 1.7.6 | |
| **/ | |
| * { | |
| alternate-urgent-background: var(urgent-background); | |
| selected-urgent-foreground: var(urgent-foreground); | |
| alternate-active-foreground: var(active-foreground); | |
| selected-active-background: var(gruvbox-dark-purple-light); | |
| gruvbox-dark-purple-light: rgba ( 222, 134, 155, 100 % ); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| configuration { | |
| /* modes: "window,drun,run,ssh";*/ | |
| font: "PragmataPro Mono 11"; | |
| location: 0; | |
| /* yoffset: 0;*/ | |
| /* xoffset: 0;*/ | |
| /* fixed-num-lines: true;*/ | |
| show-icons: false; | |
| /* preview-cmd: ;*/ | |
| /* terminal: "rofi-sensible-terminal";*/ |
flipsi
/ gist:39e464745667e0bb337c9bcdd7894bd5
Created
December 10, 2024 13:03
netctl Wifi profile with PEAP and MSCHAP
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Description='A wireless connection using a custom network block configuration' | |
| Interface=wlp0s20f3 | |
| Connection=wireless | |
| Security=wpa-configsection | |
| Auth802X=yes | |
| IP=dhcp | |
| WPAConfigSection=( | |
| 'ssid="SSID"' | |
| 'key_mgmt=WPA-EAP' |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| % Author: Philipp Moers <[email protected]> | |
| % | |
| % Latex Brief-Vorlage | |
| % | |
| % ------------------------------------------------------------------------------ | |
| \documentclass | |
| [ | |
| fontsize=12pt, % Schriftgröße | |
| version=last, % Neueste Version von KOMA-Skript verwenden |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Description='netctl profile' | |
| Interface=wlan0 | |
| Connection=wireless | |
| Security=wpa-configsection | |
| IP=dhcp | |
| WPAConfigSection=( | |
| 'ssid="SSID"' | |
| 'proto=RSN' | |
| 'key_mgmt=WPA-EAP' |
flipsi
/ wait-for-tcp.sh
Created
May 24, 2019 13:28
Wait for TCP - Delay command execution until TCP port is ready
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/sh | |
| set -e | |
| print_usage_and_exit() { | |
| echo "This script performs a given command as soon as a TCP port is open." | |
| echo "Usage: $0 <host> <port> <command>" | |
| exit 2 | |
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| function gimmeAPromiseWith(x) { | |
| return new Promise(function(resolve, reject) { | |
| console.log(`started calculation of ${x}`); | |
| setTimeout(function() { | |
| resolve(x); | |
| console.log(`finished calculation of ${x}`); | |
| }.bind(this), 10); | |
| }); | |
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| % Author: Philipp Moers <[email protected]> | |
| \usepackage[utf8]{inputenc} | |
| \usepackage[T1]{fontenc} | |
| \usepackage[ngerman, english]{babel} | |
| % document: \selectlanguage{ngerman} | |
NewerOlder