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
Show hidden characters
| [ | |
| /////////////////////////////// | |
| // Sublime-Text Key Bindings // | |
| /////////////////////////////// | |
| // Author: Philipp Moers <soziflip funnycharacter gmail dot com> | |
| /////////// | |
| // View // |
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 <soziflip@gmail.com> | |
| % | |
| % 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
/ getWifiInterface.py
Created
December 21, 2015 23:51
Determine name of Wifi interface with Python
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
| #!/usr/bin/python3 | |
| # -*- coding: utf-8 -*- | |
| try: | |
| from netifaces import interfaces | |
| except ImportError: | |
| print("The python package netifaces is required.") | |
| print("You can install it from the PyPI with ``pip install netifaces''.") | |
| exit(1) |
NewerOlder