From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 22693 invoked from network); 5 Aug 2021 17:28:27 -0000 Received: from tb-ob1.topicbox.com (64.147.108.173) by inbox.vuxu.org with ESMTPUTF8; 5 Aug 2021 17:28:27 -0000 Received: from tb-mx0.topicbox.com (tb-mx0.nyi.icgroup.com [10.90.30.73]) by tb-ob1.topicbox.com (Postfix) with ESMTP id B58702E833 for ; Thu, 5 Aug 2021 13:28:24 -0400 (EDT) (envelope-from bounce.mM4c0bddcfef55e476f27d69d3.r522be890-2105-11eb-b15e-8d699134e1fa@9fans.bounce.topicbox.com) Received: by tb-mx0.topicbox.com (Postfix, from userid 1132) id B2B3530680BB; Thu, 5 Aug 2021 13:28:24 -0400 (EDT) ARC-Authentication-Results: i=2; topicbox.com; arc=pass; dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=hiBfK90C header.a=rsa-sha256 header.s=20161025 x-bits=2048; dmarc=pass policy.published-domain-policy=none policy.published-subdomain-policy=quarantine policy.applied-disposition=none policy.evaluated-disposition=none (p=none,sp=quarantine,d=none,d.eval=none) policy.policy-from=p header.from=gmail.com; spf=pass smtp.mailfrom=rodrigosloop@gmail.com smtp.helo=mail-qv1-f42.google.com; x-internal-arc=fail (as.1.topicbox.com=pass, ams.1.topicbox.com=fail (body has been altered)) (Message modified while forwarding at Topicbox) ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d= topicbox.com; h=mime-version:references:in-reply-to:from:date :message-id:subject:to:content-type:list-help:list-id:list-post :list-subscribe:reply-to:content-transfer-encoding :list-unsubscribe; s=sysmsg-1; t=1628184504; bh=YEv2KSXQaK/fYJIR TqFqDO8EAgl9zkIu8dVTefh1OH8=; b=r2zslb05IqOzQYHUJ1FGE54RaLLcPOSk QRkYsDEQDNbcMDycjx7RKy8KgrZkGQBopqnoneDY9+ZTKZs8D3CSswWBgNhnqcOv utkU0UA694W1nMOCa5zDKuP3L2rBisS1PlW3G27BEjKysXLkNQwv+0RifHmCcRZk eBpfcZiowW0= ARC-Seal: i=2; a=rsa-sha256; cv=pass; d=topicbox.com; s=sysmsg-1; t= 1628184504; b=jkfhIvHu45Bsur7DwXuwn9wJxbrDdYlH+5n1jN3z9uEE1V9x2o az7ZBsuzg0YS1T7oh5rOnulu/gKPCtI9qDy/YlNPspzbCEIruYt3lTQwEw3uO8WD hQX+fRdob6KfcmpIun2UcGl3JiHEh/kcxI/Az5u7IhN3xUnPIoiB6DzoQ= Authentication-Results: topicbox.com; arc=pass; dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=hiBfK90C header.a=rsa-sha256 header.s=20161025 x-bits=2048; dmarc=pass policy.published-domain-policy=none policy.published-subdomain-policy=quarantine policy.applied-disposition=none policy.evaluated-disposition=none (p=none,sp=quarantine,d=none,d.eval=none) policy.policy-from=p header.from=gmail.com; spf=pass smtp.mailfrom=rodrigosloop@gmail.com smtp.helo=mail-qv1-f42.google.com; x-internal-arc=fail (as.1.topicbox.com=pass, ams.1.topicbox.com=fail (body has been altered)) (Message modified while forwarding at Topicbox) X-Received-Authentication-Results: tb-mx1.topicbox.com; arc=none (no signatures found); bimi=skipped (DMARC Policy is not at enforcement); dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=hiBfK90C header.a=rsa-sha256 header.s=20161025 x-bits=2048; dmarc=pass policy.published-domain-policy=none policy.published-subdomain-policy=quarantine policy.applied-disposition=none policy.evaluated-disposition=none (p=none,sp=quarantine,d=none,d.eval=none) policy.policy-from=p header.from=gmail.com; iprev=pass smtp.remote-ip=209.85.219.42 (mail-qv1-f42.google.com); spf=pass smtp.mailfrom=rodrigosloop@gmail.com smtp.helo=mail-qv1-f42.google.com; x-aligned-from=pass (Address match); x-google-dkim=pass (2048-bit rsa key) header.d=1e100.net header.i=@1e100.net header.b=qmN5HJR1; x-me-sender=none; x-ptr=pass smtp.helo=mail-qv1-f42.google.com policy.ptr=mail-qv1-f42.google.com; x-return-mx=pass header.domain=gmail.com policy.is_org=yes (MX Records found: alt3.gmail-smtp-in.l.google.com,alt1.gmail-smtp-in.l.google.com,alt4.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com); x-return-mx=pass smtp.domain=gmail.com policy.is_org=yes (MX Records found: alt3.gmail-smtp-in.l.google.com,alt1.gmail-smtp-in.l.google.com,alt4.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com); x-tls=pass smtp.version=TLSv1.2 smtp.cipher=ECDHE-RSA-AES256-GCM-SHA384 smtp.bits=256/256; x-vs=clean score=0 state=0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=9fans.net; h= mime-version:references:in-reply-to:from:date:message-id:subject :to:content-type:list-help:list-id:list-post:list-subscribe :reply-to:content-transfer-encoding:list-unsubscribe; s=dkim-1; bh=YEv2KSXQaK/fYJIRTqFqDO8EAgl9zkIu8dVTefh1OH8=; b=BF7u3iVGP1kS zAQgoDd64xcCVum79PkS9GCg9OVbro1WgUORWviXQVuG+Ltp7cMMwGBLU0edTrO7 2kcPf+krsTv5aGZgbl77QqkOLuo5r6eImYkq6o3yghH921USfXVMsIsPNzwOZPXF 82ph0gNzvkbszCZCBjfWcaYSKbQmmtE= Received: from tb-mx1.topicbox.com (localhost.local [127.0.0.1]) by tb-mx1.topicbox.com (Postfix) with ESMTP id 8E10B30DE071 for <9fans@9fans.net>; Thu, 5 Aug 2021 13:28:14 -0400 (EDT) (envelope-from rodrigosloop@gmail.com) Received: from tb-mx1.topicbox.com (localhost [127.0.0.1]) by tb-mx1.topicbox.com (Authentication Milter) with ESMTP id B4309A94378; Thu, 5 Aug 2021 13:28:14 -0400 ARC-Seal: i=1; a=rsa-sha256; cv=none; d=topicbox.com; s=arcseal; t= 1628184494; b=igWieTFXF1WDiBxRimNiWE7jPrDj3za3PzguYjDRUXC8ho13sx 2fb8Rh+QKnafDk/B2+9GYS7sPjGRHFJlmFuIORA79rXUKW/4gEyaruxuicMaIk4h ZXhTGNzmYb2kqNnUsPk2YFcf4/TKRw/i6hJ8asNoCkZz3Tge+b2FHH7Ze5isdavQ aR6BJie4a3jznt9uIZOv6VQGoG2r7u3NyX/dlYJS77QVqOBNg2H0GRu2wC8yBASz ByhddJ5VbwTI27/m9E+t/ins4juR5F9K6XIR3TBdqvteqwLhZZvSUSwVS+KZW+Bc tT24yNX+gzp+vPIorPDLUJ8b2s799I6+GROQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d= topicbox.com; h=mime-version:references:in-reply-to:from:date :message-id:subject:to:content-type; s=arcseal; t=1628184494; bh=pHHZYEl0ADrrhtQUEDO5Ba+lyvshMxflsaK7QXZUTEU=; b=csIoN+t4MxTB x+Hv2CYs5JsF4vCd/MAnTLLAvhJ3piY34kwIFHgRvy8rIDCZqftCukBadXdXZE0Z 6HyucHRBJYsBXUUnIeiBnQTMdkloq9LXtRb/q1kHi3/R2hsUxNSFQkFG3SGMMmXW 10Iadfl9qJlizMzWJulv3iaRx/srg/i/AG/9KRExIXOnELC6uGDITwx/M2pul3Q9 uCBAtbkic94XTildWIEr52EaS5/mfqrzaM2FUID/TWtg0r7Ks8puv5cHBAYfpziM CbnRmk/fa908oJCYoOBTpDBvPH/ZFXW4Xu1NXztCBOwVmXHK4ZFKVqL7AHVuv+f0 IgDREWZnvg== ARC-Authentication-Results: i=1; tb-mx1.topicbox.com; arc=none (no signatures found); bimi=skipped (DMARC Policy is not at enforcement); dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=hiBfK90C header.a=rsa-sha256 header.s=20161025 x-bits=2048; dmarc=pass policy.published-domain-policy=none policy.published-subdomain-policy=quarantine policy.applied-disposition=none policy.evaluated-disposition=none (p=none,sp=quarantine,d=none,d.eval=none) policy.policy-from=p header.from=gmail.com; iprev=pass smtp.remote-ip=209.85.219.42 (mail-qv1-f42.google.com); spf=pass smtp.mailfrom=rodrigosloop@gmail.com smtp.helo=mail-qv1-f42.google.com; x-aligned-from=pass (Address match); x-google-dkim=pass (2048-bit rsa key) header.d=1e100.net header.i=@1e100.net header.b=qmN5HJR1; x-me-sender=none; x-ptr=pass smtp.helo=mail-qv1-f42.google.com policy.ptr=mail-qv1-f42.google.com; x-return-mx=pass header.domain=gmail.com policy.is_org=yes (MX Records found: alt3.gmail-smtp-in.l.google.com,alt1.gmail-smtp-in.l.google.com,alt4.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com); x-return-mx=pass smtp.domain=gmail.com policy.is_org=yes (MX Records found: alt3.gmail-smtp-in.l.google.com,alt1.gmail-smtp-in.l.google.com,alt4.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com); x-tls=pass smtp.version=TLSv1.2 smtp.cipher=ECDHE-RSA-AES256-GCM-SHA384 smtp.bits=256/256; x-vs=clean score=0 state=0 X-ME-VSCause: gggruggvucftvghtrhhoucdtuddrgedvtddrieelgdduuddtucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdggtfgfnhhsuhgsshgtrhhisggvpdfu rfetoffkrfgpnffqhgenuceurghilhhouhhtmecufedttdenucenucfjughrpeggfhgjhf ffkffuvfgtsehttdertddttdejnecuhfhrohhmpeftohgurhhighhopgfirdgpnfpkphgv iicuoehrohgurhhighhoshhlohhophesghhmrghilhdrtghomheqnecuggftrfgrthhtvg hrnhepgeduuedugeelhfeihedvuefggfeugeegffekfeeljeetudekheeugfehgfelgeeg necuffhomhgrihhnpehtohhpihgtsghogidrtghomhenucfkphepvddtledrkeehrddvud elrdegvdenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepihhnvghtpedvtdel rdekhedrvdduledrgedvpdhhvghlohepmhgrihhlqdhqvhduqdhfgedvrdhgohhoghhlvg drtghomhdpmhgrihhlfhhrohhmpeeorhhoughrihhgohhslhhoohhpsehgmhgrihhlrdgt ohhmqe X-ME-VSScore: 0 X-ME-VSCategory: clean Received-SPF: pass (gmail.com ... _spf.google.com: Sender is authorized to use 'rodrigosloop@gmail.com' in 'mfrom' identity (mechanism 'include:_netblocks.google.com' matched)) receiver=tb-mx1.topicbox.com; identity=mailfrom; envelope-from="rodrigosloop@gmail.com"; helo=mail-qv1-f42.google.com; client-ip=209.85.219.42 Received: from mail-qv1-f42.google.com (mail-qv1-f42.google.com [209.85.219.42]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by tb-mx1.topicbox.com (Postfix) with ESMTPS for <9fans@9fans.net>; Thu, 5 Aug 2021 13:28:14 -0400 (EDT) (envelope-from rodrigosloop@gmail.com) Received: by mail-qv1-f42.google.com with SMTP id kl2so3339037qvb.11 for <9fans@9fans.net>; Thu, 05 Aug 2021 10:28:14 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=pHHZYEl0ADrrhtQUEDO5Ba+lyvshMxflsaK7QXZUTEU=; b=qmN5HJR1qcKtIhOoTt9mwfaTcF243oCDVNJ7bJhvttP1RR2JHF2l1mdVejYTdO7wBb 0s2qgIAkwigel+Vpo0rzc38G9CXrv+NbAIeSmBUBXwaCBiOwoXUE0sGF5UPocOkkXAjK jDNjCuEWTUIDGfPzgre4eH/oRtYOxy+KJXKAQAt/Auvd3USqR/A61i4wEYFHp8qLa2Gi QSK/gmtxWvq9uGIKK1uun/mHATSWOgTHHX/NKlQEPy9/ARR+mYKeiomqOxawjjFu0+TR 8AQr6ulSSaG5+SyFcNg0SO/LRdSpu8ZRKZIFcVhN6+cCHmllvO/xT0H2hxPlfDUt9Zmh 39IQ== X-Gm-Message-State: AOAM531tdHoCNj0LlFtw9i9l6J6e9m3fRTMkPxf69DJ5oPXCdd+ovTJq mCdHWnUxv5FL2ob8x70rZXFDnURLggetlCl3yjYImyrt X-Google-Smtp-Source: ABdhPJz0peEZxhBRqoB6qQtCu0Y0r6OgAlF8lqYh3g4iHU14XoM+JWYDTQSnWB/meqBezbM6Ep92euHVkjQNrfwDcBY= X-Received: by 2002:a05:6214:134c:: with SMTP id b12mr6529421qvw.39.1628184493515; Thu, 05 Aug 2021 10:28:13 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: =?UTF-8?Q?Rodrigo_G=2E_L=C3=B3pez?= Date: Thu, 5 Aug 2021 19:28:02 +0200 Message-ID: Subject: Re: [9fans] [PATCH] Spaceindent mode for acme To: 9fans <9fans@9fans.net> Content-Type: text/plain; charset="UTF-8" Topicbox-Policy-Reasoning: allow: sender is a member Topicbox-Message-UUID: 867708f4-f612-11eb-acdd-db68eaaa135d Archived-At: =?UTF-8?B?PGh0dHBzOi8vOWZhbnMudG9waWNib3guY29tL2dyb3Vwcy85?= =?UTF-8?B?ZmFucy9UZDk2MDMyZWEyZWRhNTBhNS1NNGMwYmRkY2ZlZjU1ZTQ3NmYyN2Q2?= =?UTF-8?B?OWQzPg==?= List-Help: List-Id: "9fans" <9fans.9fans.net> List-Post: List-Software: Topicbox v0 List-Subscribe: Precedence: list Reply-To: 9fans <9fans@9fans.net> Content-Transfer-Encoding: quoted-printable List-Unsubscribe: , Topicbox-Delivery-ID: 2:9fans:437d30aa-c441-11e9-8a57-d036212d11b0:522be890-2105-11eb-b15e-8d699134e1fa:M4c0bddcfef55e476f27d69d3:1:BrNQVuwU5VXU27OfbTE-xNXNsTrmbg0onmVq3dGAoNM hi, 9front's had this for a long time (last time i used acme it already did, back in 2017). maybe you could try to import those changes instead of rolling your own? best, -rodri On Thu, Aug 5, 2021 at 6:59 PM binarycat wrote: >=20 > I do prefer tabs over spaces, but sometimes you have to use spaces. > For example, zig doesn't even allow the tab charachter in its source > code. >=20 > So, I put together a simple patch that adds a command `Spaceindent`. > This command works similar to `Indent`, but changing whether to insert > tabs or spaces. there is also the `-s` option to enable it on startup. >=20 > The number of spaces to insert is the same as the tab width, > controlled by `Tab`. >=20 > My implementation may be a bit awkward, I haven't tried modifying acme > to this extent before. > -- > binarycat ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Td96032ea2eda50a5-M4c0bd= dcfef55e476f27d69d3 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription