Each day at our company, developers are required to document their activities, painstakingly jotting down their daily work and future plans. A monotonous chore that I just really dislike.
So now, there's a scribe for that :
| :def hoogle \x -> return $ ":!hoogle --count=15 \"" ++ x ++ "\"" | |
| :def doc \x -> return $ ":!hoogle --info \"" ++ x ++ "\"" | |
| :set -Wall | |
| :set -fno-warn-type-defaults -ferror-spans -freverse-errors -fprint-expanded-synonyms | |
| :set prompt "\ESC[0;32m%s\n\ESC[m[ghci]\ESC[38;5;172mλ \ESC[m" | |
| :set prompt-cont " \ESC[38;5;172m> \ESC[m" |
| { config, pkgs, lib, ... }: | |
| let | |
| nvidia-offload = pkgs.writeShellScriptBin "nvidia-offload" '' | |
| export __NV_PRIME_RENDER_OFFLOAD=1 | |
| export __NV_PRIME_RENDER_OFFLOAD_PROVIDER=NVIDIA-G0 | |
| export __GLX_VENDOR_LIBRARY_NAME=nvidia | |
| export __VK_LAYER_NV_optimus=NVIDIA_only | |
| exec -a "$0" "$@" | |
| ''; |
| # Created with: $ diagtool tree | |
| -Wall | |
| -Wextra | |
| -Wpedantic | |
| -Warray-bounds-pointer-arithmetic | |
| -Wbind-to-temporary-copy | |
| -Wcalled-once-parameter | |
| -Wcast-align |
Each day at our company, developers are required to document their activities, painstakingly jotting down their daily work and future plans. A monotonous chore that I just really dislike.
So now, there's a scribe for that :
Note
A more bleeding-edge version of this is available here.
A pretty simple custom LSP hover window that tries to solve the issues I face with the built-in one.