From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on dcvr.yhbt.net X-Spam-Level: X-Spam-Status: No, score=-4.0 required=3.0 tests=ALL_TRUSTED,BAYES_00 shortcircuit=no autolearn=ham autolearn_force=no version=3.4.2 Received: from localhost (dcvr.yhbt.net [127.0.0.1]) by dcvr.yhbt.net (Postfix) with ESMTP id E47911F9FD; Mon, 22 Feb 2021 03:42:23 +0000 (UTC) Date: Mon, 22 Feb 2021 03:42:23 +0000 From: Eric Wong To: meta@public-inbox.org Subject: Re: lei stuff that should be in a lei(1) or lei-overview(7) Message-ID: <20210222034223.GA7816@dcvr> References: <20210218202818.GA19443@dcvr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20210218202818.GA19443@dcvr> List-Id: Eric Wong 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