Robin Palotai robinp
robinp
/ cbuffer_visual_workaround.vim
Last active
May 8, 2024 17:00
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
| " Generated using ChatGPT, until https://github.com/neovim/neovim/issues/28544 fix gets released. | |
| " Put in init.vim, select visual range in terminal, and call :VCB. | |
| " Make sure that errorformat is set well (experiment with :cexpr "path/to/file:123 etc" or your actual format and see if quickfix gets it right) | |
| function! VisualRangeToQuickfix() abort | |
| " Get visually selected lines | |
| let l:start = line("'<") | |
| let l:end = line("'>") | |
| " Get the current buffer number |
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
| Hol volt, hol nem volt, volt egyszer egy lusta legény. Naphosszat a földön | |
| feküdt és csak bámulta az eget. Egy nap, ahogy így fekszik ott, arra száll egy | |
| szúnyog. Markába kapja, és talán még össze is lapítja, ha a szúnyog meg nem | |
| szólal: | |
| - Ne bánts engem te legény! Engedj szabadon, s meglásd, jó tett helyében jót | |
| várj! | |
| Gondolja a legény, nézzük, mi sül ki ebből! Elengedi hát, mire ezt zizegé a kis | |
| szúnyog: |
robinp
/ line_pragma_plugin.hs
Last active
September 18, 2023 12:28
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
| {-# LANGUAGE CPP #-} | |
| {-# LANGUAGE BangPatterns #-} | |
| {-# LANGUAGE GADTs #-} | |
| {-# LANGUAGE NamedFieldPuns #-} | |
| {-# LANGUAGE OverloadedStrings #-} | |
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} | |
| {-# LANGUAGE TypeApplications #-} | |
| {-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-} |
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
| print("Hello") | |
| kartyak = 8 | |
| kartyaFelforditva = { | |
| [1] = false, | |
| [2] = false, | |
| [3] = false, | |
| [4] = false, | |
| [5] = false, |
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
| Lots of goodies like <githubstatus> pinging. | |
| https://github.com/input-output-hk/iohk-ops/blob/bc8195de286d8b9b55b06f2046ab5412307a51b6/modules/hydra-master-common.nix | |
| Declarative jobset bootstrapping: | |
| https://github.com/shlevy/declarative-hydra-example | |
| Declarative jobset with Git PR evals: | |
| https://github.com/cleverca22/hydra-configs/tree/master/toxvpn | |
| Other notes: |
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
| bazel build kythe/go/languageserver/... --experimental_action_listener kythe/go/extractors/cmd/bazel:extract_kzip_go | |
| ./bazel-bin/kythe/go/indexer/cmd/go_indexer/go_indexer $(find bazel-out/k8-fastbuild/extra_actions -name '*.go.kzip') > go.ents | |
| ./bazel-bin/kythe/go/serving/tools/write_tables/write_tables --experimental_beam_pipeline --entries go.ents --out /data/kythe/beamed | |
| # To serve it: | |
| # Note: public_resources set to /tmp since not needed when only API is used. | |
| ./bazel-bin/kythe/go/serving/tools/http_server/http_server --serving_table /data/kythe/beamed --listen 0.0.0.0:8080 --public_resources /tmp |
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
| {- Note: originally for treetide.com -} | |
| {- Releasing under Apache 2.0 licence (https://www.apache.org/licenses/LICENSE-2.0), feel free to reuse accordingly. -} | |
| {-# LANGUAGE TupleSections #-} | |
| module Database.LevelDB.Streaming.Extended | |
| ( module X | |
| , mergeStreams | |
| , groupStream | |
| ) | |
| where |
robinp
/ github-vertical-unspace.user.css
Last active
April 17, 2020 07:19
Stylus script for to make github code review vertically more compact.
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
| /* Remove below comment in Stylus */ | |
| // Install Stylus, a minimal permissions CSS-modifier: https://chrome.google.com/webstore/detail/stylus/clngdbkpkpeebahjckkjfobafhncgmne// | |
| // Set to use regex match https://github.com/.*/pull/.*/files | |
| // also https://github.com/.*/commit/.*#diff-.* | |
| body { | |
| font-size: 12px; | |
| } | |
| .blob-num { |
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
| for /D %%f in (*) do ( | |
| cd %%f | |
| mkdir annotated | |
| magick mogrify -path annotated -set filename:xxx %%t -fill black -undercolor white -gravity southwest -pointsize 24 -annotate +0+0 "%%[filename:xxx]" *png *jpg | |
| magick convert annotated/* ../%%~nf.pdf | |
| rm -r annotated | |
| cd .. | |
| ) |
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
| $ sh invoke-build.sh kythe/cxx/extractor/... | |
| ... | |
| SUBCOMMAND: # //kythe/cxx/extractor:index_pack [action 'Compiling kythe/cxx/extractor/index_pack.cc [for host]'] | |
| (cd /home/ron/.cache/bazel/_bazel_ron/084c77e61dfc73e2d0fc7fb1fb9a9252/execroot/io_kythe && \ | |
| exec env - \ | |
| PATH=/nix/store/vs6d2fjkl4kb3jb7rwibsd76k9v2n4xy-bash-4.4-p23/bin:/nix/store/lvhndwdy2q09fhwgzykjjigz7yxq5yiv-coreutils-8.30/bin:/nix/store/5c2428hk25dwsgnifcmn5dvgrwvvgvrx-findutils-4.6.0/bin:/nix/store/9jjxqhwak78zi94m7gvwdw3gqzd1hr1b-gawk-4.2.1/bin:/nix/store/f7c1ijdv5czqb0dxi4mi5wkfvi1pc7rn-gnugrep-3.3/bin:/nix/store/4lvbww6zrphadhcbqidx8qskc0rsblg6-gnused-4.7/bin:/nix/store/mwc5mwvw080nbahpdc0xr1rk3mhkcdp1-which-2.21/bin:/nix/store/c39nikyab2qfifbqzy7hqqkhvk7k05ca-unzip-6.0/bin \ | |
| PWD=/proc/self/cwd \ | |
| /nix/store/isg8rxaxkijl9x3hr2gzsf8pqfnqxg3k-gcc-wrapper-7.4.0/bin/gcc -U_FORTIFY_SOURCE -fstack-protector -Wall -B/nix/store/isg8rxaxkijl9x3hr2gzsf8pqfnqxg3k-gcc-wrapper-7.4.0/bin -B/usr/bin -Wunused-but-set-parameter -Wno-free-n |
NewerOlder