From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Robert Boyer Newsgroups: gmane.emacs.bugs Subject: bug#69250: Chromebook issue with 'report-emacs-bug'. Date: Mon, 19 Feb 2024 15:01:49 -0600 Message-ID: References: <86sf1pr3sc.fsf@gnu.org> <86o7cdr2or.fsf@gnu.org> <87h6i4bjtt.fsf@posteo.net> <87a5nw8big.fsf@posteo.net> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="000000000000396d520611c269a7" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="11209"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Eli Zaretskii , 69250@debbugs.gnu.org To: Philip Kaludercic Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Feb 19 22:23:01 2024 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1rcB6K-0002fI-V9 for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 19 Feb 2024 22:23:01 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rcB62-0005pB-5B; Mon, 19 Feb 2024 16:22:42 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rcB60-0005o3-Kr for bug-gnu-emacs@gnu.org; Mon, 19 Feb 2024 16:22:40 -0500 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rcB60-0003tz-CJ for bug-gnu-emacs@gnu.org; Mon, 19 Feb 2024 16:22:40 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rcB6L-0002Pz-Kb for bug-gnu-emacs@gnu.org; Mon, 19 Feb 2024 16:23:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Robert Boyer Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 19 Feb 2024 21:23:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69250 X-GNU-PR-Package: emacs Original-Received: via spool by 69250-submit@debbugs.gnu.org id=B69250.17083777499249 (code B ref 69250); Mon, 19 Feb 2024 21:23:01 +0000 Original-Received: (at 69250) by debbugs.gnu.org; 19 Feb 2024 21:22:29 +0000 Original-Received: from localhost ([127.0.0.1]:43639 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rcB5m-0002P5-BS for submit@debbugs.gnu.org; Mon, 19 Feb 2024 16:22:28 -0500 Original-Received: from mail-lj1-f173.google.com ([209.85.208.173]:48605) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rcAnq-0001vD-Hf for 69250@debbugs.gnu.org; Mon, 19 Feb 2024 16:03:55 -0500 Original-Received: by mail-lj1-f173.google.com with SMTP id 38308e7fff4ca-2d180d6bd32so49513191fa.1 for <69250@debbugs.gnu.org>; Mon, 19 Feb 2024 13:03:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708376547; x=1708981347; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=XS+6I6HpBRen/yX5YrY5Re8Yg7B/xuOzE66/Oo+/CBQ=; b=SPvO3PUjyDuAY66DOpT1ptiz1cjk8DaG9mANsMjuGfvcTUqCUUUyiRsIodgNDZcDJS P0xNn9NSoxFpndCFfwCdsDQ8oyhUyVauZRJVc659uVCDfyvV8m7QaMue9sGmCGfGg8ra /EHm6T/ceFgClnJFK99MxE4o13pRZjEESBu0xgBN0dgQlL5ZISMpWp0PvD+lZBN1VU46 gKGnE15KR/xsYb61qA+QgNZlf+ne7tYOnRbq4ayMgza6Qqc7HUe11GT5aNDq1ncFh5DY TnTJujT0nZ5VbviJ4RGZ0+Alx1Q6GIVFcXEsyucSFFPlqefIjEAj7XssjM8mb0b1M/E1 q4bA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708376547; x=1708981347; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=XS+6I6HpBRen/yX5YrY5Re8Yg7B/xuOzE66/Oo+/CBQ=; b=rBGlpgKYmmeFvdO51MzLIdB3QaF8WrU9F9Zmo7W0X59MTs9vnxg9vDps5MZ/7pBRDQ JyU4NQ7se7PyNQ3c4g35BUPPT6yOiShD0trYGBkWNXYhABRqdqXGPe8vkFdy7C3T1BuE g9AZq6cLbjnmTSz70oGaP8dtS95BRCKhHZHi5ABqeMok4hkBrNg6Ldhm4iaYe7wys4ES +3PjVzbCRVq0Rs0KkG4MJA+HTRrZjC86alJ64UnyZ8UhP8jvEg/F/P4k4WUv7dJbRLLc l/UZANbDBdiBHCre4SGtcHH/Ph+49aRl6vLwy41G98LSn4h7aFNiDqGjNQgga64HPL2f L0Iw== X-Forwarded-Encrypted: i=1; AJvYcCX5b+e95K+WT0QDKhuNsiLrc9nR2Gf7yqzgTEIsLB4CYvFWSZa1f0UkoCSAuZB9aFl1w9k+nkGChn1u6NhKmeqaF1M1z6w= X-Gm-Message-State: AOJu0YxIY5OiPNY0EWWjn3FLCnNGQO7YKJpc5YfJF8Ik+551r9jMJqUu KmDMYE5mmXlcr1Ex8PR8ofQseXnWucKMBmmoJfMhLKnLIKBT4vRZzWaOAhAoeDPHAEnlevUC5id L1yERxZ3fqCUMTaoS8z25HUhTGkFEmPx3HXhe/g== X-Google-Smtp-Source: AGHT+IEDHhizCfXbivaj9AkAvjNwQPff5aSmz/1zCZxo28w00C3EqM0My4DqifBnMzkck/FVuUZDVPFSnorvParZ9t4= X-Received: by 2002:a2e:2e0a:0:b0:2d2:3a2c:209 with SMTP id u10-20020a2e2e0a000000b002d23a2c0209mr2297378lju.38.1708376546961; Mon, 19 Feb 2024 13:02:26 -0800 (PST) In-Reply-To: <87a5nw8big.fsf@posteo.net> X-Mailman-Approved-At: Mon, 19 Feb 2024 16:22:24 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:280297 Archived-At: --000000000000396d520611c269a7 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable > I have no experience with Chromebooks. I am willing to send you $100 in cash, if you wish, if you buy a Chromebook, and if you send me a postal address to which to send the $100. In Austin, I had good luck with 'Best Buy'. I am laughing at this! I wonder if it has ever happened before that a user has offered to buy a bug reporting service a computer. Chromebooks can cost a lot of money, for which one no doubt gets a lot. But I bought the cheapest I could possibly find in order to help make ACL2 available to all students in the world, who are mainly using Chromebooks. I have put up on my working directory https://drive.google.com/drive/folders/1UoCT8YaisJBE-deMYJ8n1VE1rNg6K_MW under ./acl2 the acl2 source, coded by J Moore and Matt Kaufmann, and 16 gigabytes of proofs that ACL2 generates. Many folks have contributed the theorems. Thanks so much. I very, very much want to get RMAIL working on my Chromebook. Tell me what to try next. Bob On Mon, Feb 19, 2024 at 2:06=E2=80=AFPM Philip Kaludercic wrote: > Robert Boyer writes: > > > Dear Philip, > > > >> Have you configured anything regarding email in Emacs? > > > > No sir, nothing. Can I help try something? > > I have this in my init.el, perhaps it could give you some hints: > > (setopt user-mail-address "philipk@posteo.net" > send-mail-function #'smtpmail-send-it > smtpmail-smtp-server "posteo.de" > smtpmail-stream-type 'starttls > smtpmail-smtp-service 587) > > > > > Do not underestimate how dumb I am. > > > > It is my 'feeling' that on my $100 Lenovo Chromebook, with its utterly > > superb Emacs, > > RMAIL cannot send email to anyone I can imagine sending it to. Which i= s > > why I have so chauvinistically suggested 'made in China', e.g., Lenovo, > may > > have something to do with the matter! But that is another of my sick > jokes. > > > > I used RMAIL as my only emailer for decades, but switched to gmail > because > > RMAIL was losing on 'attachments'. I now love gmail. It is one part o= f > > the proof that Google is the greatest company that has ever existed. > gmail > > is free. space seems unlimited. I am so insignificant that I do not > give a > > damn whether Google looks at my mail or not. My lifelong email motto is= : > > when sending email, always imagine that it is cced to letters at NYT. > > Heavens knows that spooks look at all email, unless one uses 'signal ' = or > > something like that. In Europe, the government is suing signal to forc= e > > them to change their ultra secret ways. I have tried to use 'signal' a= nd > > enjoyed it, but am now scared to use it any more; don't want to get sue= d. > > > > Have you guys tried RMAIL on Chromebooks? Only costs $100 to buy one. > > There are a huge number of Chromebooks in the world, and one can get, a= nd > > enjoy Emacs, with a mere one line command 'sudo apt-get install emacs', > > after one has installed Linux, which of course must always be called 'G= nu > > Linux', or you might rightly get email from rms. To my astonishment, t= he > > installation of Linux was about the easiest thing I could imagine. > > I have no experience with Chromebooks. > > > With the highest imaginable love of Emacs, > > > > Bob > > > > On Mon, Feb 19, 2024 at 8:38=E2=80=AFAM Philip Kaludercic > > wrote: > > > >> Robert Boyer writes: > >> > >> >> Sounds like some problem with your email setup. > >> > > >> > I am sure you are right. > >> > > >> > However, I do not have the slightest idea what you are talking abou= t. > >> > >> Have you configured anything regarding email in Emacs? > >> > --=20 Anything I seem to state should be taken as a question. I am at least 77 and feeble. --000000000000396d520611c269a7 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
> I have no experience with Chromebooks.

=
I am willing to send you $100 in cash, if you wish, if you buy a Chrom= ebook, and if you send me a postal address to which to send the $100.=C2=A0= In Austin, I had good luck with 'Best Buy'.
I am laughin= g at this!=C2=A0 I wonder if it has ever happened=C2=A0before that a user h= as offered to buy a bug reporting service a computer.=C2=A0 Chromebooks can= cost a lot of money, for which one no doubt gets a lot.=C2=A0 But=C2=A0 I = bought the cheapest I could possibly find in order to help make ACL2 availa= ble to all students in the world, who are mainly using Chromebooks.=C2=A0 I= have put up on my working directory


under ./acl2 the acl2 source, coded by J Moo= re and Matt Kaufmann, and 16 gigabytes of proofs that ACL2 generates.=C2=A0= Many folks have contributed the theorems.

Thanks = so much.=C2=A0 I very, very much want to get RMAIL working on my Chromebook= .

Tell me what to try next.

Bob


On Mon, Feb 19, 2024 at 2:06=E2=80=AFPM Philip K= aludercic <philipk@posteo.net&= gt; wrote:
Rober= t Boyer <robertstephenboyer@gmail.com> writes:

> Dear Philip,
>
>> Have you configured anything regarding email in Emacs?
>
> No sir, nothing.=C2=A0 Can I help try something?

I have this in my init.el, perhaps it could give you some hints:

(setopt user-mail-address "philipk@posteo.net"
=C2=A0 =C2=A0 =C2=A0 =C2=A0 send-mail-function #'smtpmail-send-it
=C2=A0 =C2=A0 =C2=A0 =C2=A0 smtpmail-smtp-server "posteo.de"
=C2=A0 =C2=A0 =C2=A0 =C2=A0 smtpmail-stream-type 'starttls
=C2=A0 =C2=A0 =C2=A0 =C2=A0 smtpmail-smtp-service 587)

>
> Do not underestimate how dumb I am.
>
> It is my 'feeling' that on my $100 Lenovo Chromebook, with its= utterly
> superb Emacs,
> RMAIL cannot send email to anyone I can imagine sending it to.=C2=A0 W= hich is
> why I have so chauvinistically suggested 'made in China', e.g.= , Lenovo, may
> have something to do with the matter!=C2=A0 But that is another of my = sick jokes.
>
> I used RMAIL as my only emailer for decades, but switched to gmail bec= ause
> RMAIL was losing on 'attachments'.=C2=A0 I now love gmail.=C2= =A0 It is one part of
> the proof that Google is the greatest company that has ever existed. g= mail
> is free.=C2=A0 space seems unlimited. I am so insignificant that I do = not give a
> damn whether Google looks at my mail or not. My lifelong email motto i= s:
> when sending email, always imagine that it is cced to letters at NYT.<= br> > Heavens knows that spooks look at all email, unless one uses 'sign= al ' or
> something like that.=C2=A0 In Europe, the government is suing signal t= o force
> them to change their ultra secret ways.=C2=A0 I have tried to use '= ;signal' and
> enjoyed it, but am now scared to use it any more; don't want to ge= t sued.
>
> Have you guys tried RMAIL on Chromebooks?=C2=A0 Only costs $100 to buy= one.
> There are a huge number of Chromebooks in the world, and one can get, = and
> enjoy Emacs, with a mere one line command 'sudo apt-get install em= acs',
> after one has installed Linux, which of course must always be called &= #39;Gnu
> Linux', or you might rightly get email from rms.=C2=A0 To my aston= ishment, the
> installation of Linux was about the easiest thing I could imagine.

I have no experience with Chromebooks.

> With the highest imaginable love of Emacs,
>
> Bob
>
> On Mon, Feb 19, 2024 at 8:38=E2=80=AFAM Philip Kaludercic <philipk@posteo.net>=
> wrote:
>
>> Robert Boyer <robertstephenboyer@gmail.com> writes:
>>
>> >> Sounds like some problem with your email setup.
>> >
>> > I am sure you are right.
>> >
>> >=C2=A0 However, I do not have the slightest idea what you are = talking about.
>>
>> Have you configured anything regarding email in Emacs?
>>


--
Anything I seem to state should be taken as a question.=C2= =A0 I am at least 77 and feeble.
--000000000000396d520611c269a7--