GNOME 3 screenshot for gnu.org

2018-06-29 Thread Amin Bandali
Hello Guix, The FSF is looking to refresh the screenshot on www.gnu.org, and add new ones showcasing Mate and GNOME 3. I suggested taking the GNOME 3 screenshot from GuixSD. I see there's already a GNOME 3 screenshot [0] on the Guix page. Given that the screenshot seems to be from 2016, would

Re: GNOME 3 screenshot for gnu.org

2018-07-02 Thread Amin Bandali
Hi Ludo, Ludovic Courtès writes: > I think it’s fine to use the current one, though maybe we should > consider making new screenshots too… Sounds good! If you do make new ones and want the one on the front page updated, feel free to ping me or webmast...@gnu.org. Thanks, -amin

Re: guix download and GitHub

2018-08-21 Thread Amin Bandali
Hello, Looking at the manual entry for guix download [0], we can see: guix download verifies HTTPS server certificates by loading the certificates of X.509 authorities from the directory pointed to by the SSL_CERT_DIR environment variable (see X.509 Certificates), unless

Re: Firefox 52's end of life, packaging Chromium

2018-09-01 Thread Amin Bandali
Nils Gillmann writes: > Please read into the chromium thread or search locally through it - > Marius already had some comments on ungoogled-chromium. Our chromium > browser is not just chromium taken from upstream. Many (maintained) > patches are taken and applied. Thanks for mentioning this.

Re: https://issues.guix.info

2018-09-01 Thread Amin Bandali
Hi Ricardo, > Some of you know this already, but I think it’s time for a proper > announcement here. I made a little something: > > https://issues.guix.info Awesome, it looks pretty neat! > The search box accepts issue numbers (for *any* bug on the GNU instance > of Debbugs), but it also

Re: bootstrap: i686-linux now builds without binutils, gcc, and glibc seeds

2018-09-04 Thread Amin Bandali
Hello Jan, > The wip-bootstrap branch now builds without binutils, gcc, and glibc seeds. > > Thanks to #bootstrappable and #glibc and a week's work of hammering and > determination we succeeded in bootstrapping glibc-2.16.0. This glibc is > recent enough to bootstrap GuixSD! > [...] > We're now

Re: Firefox 52's end of life, packaging Chromium

2018-08-30 Thread Amin Bandali
ithub.com/Eloston/ungoogled-chromium [1]: https://github.com/Eloston/ungoogled-chromium/blob/master/docs/design.md [2]: https://github.com/Eloston/ungoogled-chromium/blob/master/docs/building.md [3]: https://github.com/NixOS/nixpkgs/pull/30916 -- Amin Bandali | GNU webmaster | Grad student, UWaterloo https://aminb.org | https://gnu.org |https://aminb.org/uw GnuPG Key: CDDE 75F9 0353 8E71 813C DA27 D1FB A366 27D6 5876

Re: https://issues.guix.info

2018-09-02 Thread Amin Bandali
Hi Ricardo, > I agree. I don’t know how to present these things nicely, but I’ll play > around with this. > > BTW: “submitter:who” should also work now. Like “is:…” it’s a rather > expensive query because the result set from Debbugs has to be filtered > locally. Cool, thanks! >>> - make the

Re: https://issues.guix.info

2018-09-03 Thread Amin Bandali
Hi Ricardo, > I went ahead and documented the supported query terms on > https://issues.guix.info/help and linked to it from the start page. > > I also added support for “date:” (submission date) and “mdate:” (message > date) filters, which should look familiar to users of mu/mu4e. Wonderful,

Re: [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org)

2018-12-10 Thread Amin Bandali
Hi Ludo’, On 2018-12-04 3:11 PM, Ludovic Courtès wrote: > Hi Amin, > > Amin Bandali skribis: > >>> For the domain name I initially wanted “ci.guix.gnu.org” but we failed >>> to set that up. Oh well, I think that’s OK. >> >> What was the failur

Re: [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org)

2018-12-03 Thread Amin Bandali
Hi Ludo’, > For the domain name I initially wanted “ci.guix.gnu.org” but we failed > to set that up. Oh well, I think that’s OK. What was the failure about, if you don’t mind me asking? I’m curious if there might be a way to salvage it. -amin

Re: guix.gnu.org sub-domain

2019-01-24 Thread Amin Bandali
On 2018-12-15 3:20 PM, Chris Marusich wrote: > Hi Ludo, > > Ludovic Courtès writes: > >> I’m sure Julien wouldn’t mind getting some help or insight, so please do >> get in touch! > > OK, I'll speak privately with Julien about the DNS setup to avoid adding > noise to this email thread. > > -- >

Re: ‘nss-certs’ missing in the installation image

2019-01-26 Thread Amin Bandali
> Any other opinion? I’d personally prefer if nss-certs were already available during installation; but if not, having a link in “System Installation” to instructions on how to safely install and set it up seems like a fair compromise. My 2¢.

Re: [GNU-linux-libre] [PATCH] gnu: Add ungoogled-chromium.

2019-02-16 Thread Amin Bandali
Marius, if I understand correctly, you have summarized your patch with respect to the following two issues: 1. Your patch strips out parts of Chromium that are /clearly/ nonfree and proprietary (e.g. unrar per your example), and 2. Your patch addresses (or tries to) privacy concerns. But as

Re: [GNU-linux-libre] [PATCH] gnu: Add ungoogled-chromium.

2019-02-16 Thread Amin Bandali
Marius, On 2019-02-16 5:33 PM, Marius Bakke wrote: [...] > > Can you point out one or more files with an unclear license? Do we have > any reason to distrust what's written in the LICENSE file? > I don’t have a direct example of one such file off top of my head, but looking at the large

Re: [PATCH] gnu: Add ungoogled-chromium.

2019-02-03 Thread Amin Bandali
Hello Marius, Thanks for your work patching and packaging ungoogled-chromium! I haven’t had a chance to have a closer look at your patch, but would you mind elaborating on the “* Free software only.” part of your stated feature-set and if/how it addresses licensing concerns raised previously

Re: Add helper for .desktop file creation?

2019-05-25 Thread Amin Bandali
Hi Pierre, Nicolas, Pierre Neidhardt writes: [...] > Would you happen to know where this is implemented in Nix? > Otherwise I'll look at the doc you've linked. > It seems to be implemented here [1]. For examples of use, look for “makeDesktopItem”. [1]:

Re: Update on 1.0.1

2019-05-09 Thread Amin Bandali
Hi Ludo’, > Any other really important bit people would like to address? Not critical, but it would be nice to update guix-install.sh to mention “ci.guix.gnu.org” instead of “ci.guix.info” for clarity, similar to this previous commit of yours [0] from a while back. [0]:

Re: Documentation videos are being uploaded!

2019-05-22 Thread Amin Bandali
Pronaip writes: [...] > The video is great but the introductory videos link > (https://audio.video.gnu.org) seems to lead to nowhere. Has it not > been set up? > > That’s a typo; it should have been https://audio-video.gnu.org.

Re: Documentation videos are being uploaded!

2019-05-23 Thread Amin Bandali
Seconding Tim’s sentiments :) I think the videos will be fantastic resources for newcomers and Guix enthusiasts in general, and we can’t thank Laura, Paul, and everyone else involved enough! I for one can’t wait to find some free time on my hands to binge-watch the whole series.

Re: Deliver important Guix changes to users, please

2019-04-15 Thread Amin Bandali
Hi Ludo’, all, On 2019-04-15 2:56 PM, Ludovic Courtès wrote: [...] > > ‘guix pull’ already provides high-level “package news”, but I agree it’d > be nice to have a way to convey “system news” and perhaps free-form > messages like Debian’s change logs. > > I suppose we could use some

Re: [Proposal] The Formal Methods in GNU Guix Working Group

2019-12-20 Thread Amin Bandali
Hello Guix! Thank you Brett for taking initiative and putting this awesome proposal together on all our behalves, and to everyone else for chiming in and expressing your interest and support! To share some of my (scattered) thoughts on this, as a researcher I think reproducible and verifiable

Re: Emacs 27

2019-12-18 Thread Amin Bandali
Hi John, John Soo writes: > Hi guix, > > Speaking of the next version of emacs, do you think we could add an > emacs-next package? I have tried to build from head recently and the > recent changes to the dumping mechanism does not work with our current > package definition. > > - John Perfect

Re: New committer

2020-02-25 Thread Amin Bandali
Hi Ludo’, Ludovic Courtès writes: > Hi, > > Amin Bandali skribis: > >> You may have seen me post on the Guix lists, chat in #guix on freenode >> (as bandali), or know me from my involvement with other areas of GNU. >> I've been a happy user and occasional co

New committer

2020-02-17 Thread Amin Bandali
Hello Guix, You may have seen me post on the Guix lists, chat in #guix on freenode (as bandali), or know me from my involvement with other areas of GNU. I've been a happy user and occasional contributor to GNU Guix for some time now. As my contributions recently became more frequent, and since

Re: [Proposal] The Formal Methods in GNU Guix Working Group

2020-01-03 Thread Amin Bandali
Hi Ludo’, all, Ludovic Courtès writes: > Hello! > > (Cc: maintainers.) > > Brett Gilio skribis: > >> Dec 30, 2019 3:34:22 PM Ludovic Courtès : >> >>> Guix-HPC is “institutional”, that’s part of the reason behind this. >>> Regarding gitlab.inria.fr, that’s because it used to be hosted at Inria.

Re: [Proposal] The Formal Methods in GNU Guix Working Group

2019-12-27 Thread Amin Bandali
Hi Ludo’, all, Thanks for your vote(s) of confidence, Ludo’; it’s great to hear! Ludovic Courtès writes: > Hi! > > Brett Gilio skribis: > >> 100% Agreed. Amin is also working on packaging the Lean prover and I am >> taking an interest in seeing if we can extend the OPAM importer to have >> a

Re: 1.1.0rc1 available for test!

2020-04-11 Thread Amin Bandali
alex sassmannshausen writes: > Heya > > On Sat, 11 Apr 2020, 00:38 Ludovic Courtès, wrote: > >> Hi Alex, >> >> Alex Sassmannshausen skribis: >> >> > After successfully completing system setup from the ISO using that >> > selection, rebooting the system launches GDM OK. Signing in to GDM >> >

Additional GPG key needed when verifying git-authenticate

2020-03-28 Thread Amin Bandali
Hello Guix, I'll get right to the point: I goofed up earlier tonight, and pushed to master a commit [0] modifying build-aux/git-authenticate.scm. Since we're all to sign our commits, as a result, in addition to Ludo’s key you now need to add my GPG key to your keyring as well, before invoking

Re: Signing emails with mu4e (was Re: Hello, new committer here!)

2020-09-01 Thread Amin Bandali
Pierre Neidhardt writes: > This is what I do to sign all my messages: > > (add-hook 'message-setup-hook 'mml-secure-sign-pgpmime) > [...] A word of caution: at least with Gnus, doing something like this might "downgrade" the security of a message, by changing it to only sign the message you're

Re: [bug#42738] [PATCH v4] gnu: emacs: Update to 27.1.

2020-08-28 Thread Amin Bandali
Brett Gilio writes: [...] > > Also, are we planning to keep emacs-next and have it track 28.x or > remove it? > > Brett Gilio I would like it if it's kept. Though, if it is truly meant to track the "next" release of Emacs, it should be pointed at the `emacs-27' branch, as there will likely be

Re: Persian translation

2020-08-04 Thread Amin Bandali
Hi Ali Reza, Ali Reza Hayati writes: > Hey guys. > I hope you all are well. > > I wanted to contribute to GNU and Guix but I'm not a programmer so I > thought maybe I can translate Guix to Persian if it's needed. Can you > guys help me to start? What should I do? Where should I start? > > I have

Re: Commit Access

2020-12-28 Thread Amin Bandali
Hello, Leo Prikler writes: > Hello everyone, > > earlier today, I was granted commit access to the repository [1]. [...] Welcome, Leo! signature.asc Description: PGP signature