Eric Wong <[email protected]> wrote:
> More random scattered thoughts

If "lei" conflicts with an existing script or alias on your
system, consider naming it "lorelei"(*).  Of course, the
shorter name is preferred to save keystrokes.

(*) partly named after a well-known instance of public-inbox
--
unsubscribe: one-click, see List-Unsubscribe header
archive: https://public-inbox.org/meta/

Reply via email to