Florian Rupprecht nx10
nx10
/ overleaf-dark-scrollbar.user.js
Created
November 14, 2024 20:36
This file contains 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
| // ==UserScript== | |
| // @name Overleaf Code Editor: Dark Scrollbar | |
| // @namespace http://tampermonkey.net/ | |
| // @version 1.1 | |
| // @description Adds a dark scrollbar to the Overleaf Code Editor | |
| // @author nx10 | |
| // @license MIT | |
| // @match https://www.overleaf.com/project/* | |
| // @run-at document-start | |
| // ==/UserScript== |
nx10
/ overleaf-fira-code.user.js
Created
November 7, 2024 20:17
Overleaf Code Editor: Fira Code with Ligatures
This file contains 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
| // ==UserScript== | |
| // @name Overleaf Code Editor: Fira Code with Ligatures | |
| // @namespace http://tampermonkey.net/ | |
| // @version 1.0 | |
| // @description Apply Fira Code with ligatures to Overleaf's code editor | |
| // @author nx10 | |
| // @license MIT | |
| // @match https://www.overleaf.com/project/* | |
| // @grant GM_addStyle | |
| // ==/UserScript== |
nx10
/ .pre-commit-config.yaml
Created
December 5, 2023 19:06
[pre-commit hook] Prefer YAML file extension .yaml over .yml
This file contains 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
| - repo: local | |
| hooks: | |
| - id: yaml-file-extension | |
| name: Prefer .yaml over .yml. | |
| entry: YAML files must have .yaml extension. | |
| language: fail | |
| files: \.yml$ |
This file contains 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/bash | |
| if (($EUID != 0)); then | |
| if [[ -t 1 ]]; then | |
| sudo "$0" "$@" | |
| else | |
| exec 1>output_file | |
| gksu "$0 $@" | |
| fi | |
| exit |