Pipette.jl
A Smoother Pipe Operator in the Julia REPL
Install / Use
/learn @umlet/Pipette.jlREADME
Pipette: A Smoother Pipe Operator
If you love the Julia REPL and the pipe operator,
if you have a problem with typing the prickly " |> " sequence[^1],
and if no one else can help,
maybe you can hire Pipette and insert " |> " with double-tapping arrow-right [➔] at the end of the line:
julia> get_transmogrifying_iterator()#..now just double tap [➔]..
Voilà:
julia> get_transmogrifying_iterator() |> #<- ta ta-da TAAAA!
<br>
Alternatively, press [Ctrl+➔] to insert the string " |> " anywhere on a line.
Usage
-
The delay between [➔]-taps must be <300 milli-seconds to register as double-tap.
It also must be >100 milli-seconds -- this avoids pipes galore when you keep pressing the cursor to reach the end of a line.
You can configure this with
julia> Pipette.set_doubletap_delay(from=100, to=300) -
To tune this, find out your tapping speed and keyboard repeat delay with
Pipette.tune_doubletap_delay(). -
To turn Pipette on or off, use
Pipette.on()orPipette.off(). To keep the[Ctrl+➔]-behavior, and just turn off the double-tap one, set the range to zeros.
Install
Just ]add Pipette and keep using Pipette.
To turn it on by default, you can modify .julia/config/startup.jl:
atreplinit() do repl
try @eval using Pipette
catch e; @warn "Pipette startup error" e end
end
(Pipette exports nothing, btw.)
<br> <br> <br> <br>Refs
- Startup logic pilfered from OhMyREPL.jl -- thanks!
Version History
- 0.1 Initial version
Footnotes
[^1]: On a German keyboard, e.g., you need to type [Space] [AltGr+"|"] [Shift+">"] [Space].
Related Skills
node-connect
352.9kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
111.5kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
352.9kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
qqbot-media
352.9kQQBot 富媒体收发能力。使用 <qqmedia> 标签,系统根据文件扩展名自动识别类型(图片/语音/视频/文件)。
