From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id CJalLwRkrmQA7gAASxT56A (envelope-from ) for ; Wed, 12 Jul 2023 10:27:48 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id ELBbLwRkrmTFKwAAauVa8A (envelope-from ) for ; Wed, 12 Jul 2023 10:27:48 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 3DAF866345 for ; Wed, 12 Jul 2023 10:27:48 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=wolfsden.cz header.s=mail header.b=eV0WSFuI; dkim=pass header.d=wolfsden.cz header.s=mail header.b=jQfOffnx; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=wolfsden.cz ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1689150468; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=zTqcoj/f8GsbRlKUrpjwNZKhLRnSLum6/Nb8RGBFZJY=; b=ZvAOxXD2F+oXXgRU856SZwqVZMcWaaoSWH5gYfTYUXy2quaZEjOvdny/FwD2HMqB1h7oFW som6dFI5ewo4D4YtcOeechilE4L1ROrwKi1+yZcoPQCfyZs12xsegnbG0fXRwtA1az0VCC G0S5ribg+cjhZnukiZN+R+L2IEsEb6KIbXjlWPsRBBFvZ52VNnxbxXsKxiMYao6VIQ+Bvk B+lhNVc8hzLeUsTBSmexIbBW6NnhxBJlcvRHf26UDUpq1MXZ2Ng33mvCsk0KbVX0U7YtN2 r4hz/tQgIlqnhcMaLg9MslYBdU0dO/3s7YdW0MBBxjylPvyVcsGF88OwgVfHCA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=wolfsden.cz header.s=mail header.b=eV0WSFuI; dkim=pass header.d=wolfsden.cz header.s=mail header.b=jQfOffnx; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=wolfsden.cz ARC-Seal: i=1; s=key1; d=yhetil.org; t=1689150468; a=rsa-sha256; cv=none; b=XpDAMvcX3Zrr27pHfarJZsM+WEi3zMDkJ8jWJ1lwOYfUPHhTNj5T9jJdL/kxks6WSSyoy3 A0/EvI5r6v+Ckexi9Hm2JH2emd0JmoqiaEOaqxobBXOYpou/xdiKPRba2QgvbLIBnqa11Z AuLvDKRR85Ert1fn1zElFBtESNbhB34AjuUWfCl6sdVWcOB3frYomQECSmlMZPI6tDxdBB oCL9LxdykKzPoFR1ZSDChSi2ZL/FsU1EKNgPh5IIcfeDpgV82Vca7j6vjT28yBDm5WHjol kRtL0B3QLa2DWXvW8SxIriuvvsYae6hoqMRxwihGRuXblzlKdfPdSpx0ZqXPEw== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qJVBu-0002Yp-TV; Wed, 12 Jul 2023 04:27:19 -0400 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 1qJVBt-0002YB-AA for help-guix@gnu.org; Wed, 12 Jul 2023 04:27:17 -0400 Received: from wolfsden.cz ([37.205.8.62]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qJVBp-0005dg-9R for help-guix@gnu.org; Wed, 12 Jul 2023 04:27:16 -0400 Received: by wolfsden.cz (Postfix, from userid 104) id 30C43258BCF; Wed, 12 Jul 2023 08:27:04 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1689150424; bh=WqoX2TDSu/AzGxeJyFwTuNAUumk3cgeJEz+zDasg50I=; h=Date:From:To:Cc:Subject:References:In-Reply-To; b=eV0WSFuIaM90JB+bRQ8NBoi1dzI+982vdPKiAPDr17vBCd3F45pgoqnQksnlmFvRr kGtFesrwpk0DgAc1XK8HIGWYzWlYeGsv7qf0NmvPmaYXtF58drP6pD0HbMJwkBMwED kO8tASjFfSuxpbLF1KFqc25na1UZUR7T2PMOgaCc7cgs0/yI4F/MbNDDuT7/Z9CBYe whUja0LWRL/O9b/RU7lwcbWScIA84RjeLZLnM5Q+Kjy9+wUyW77dp8wvPgQrtBWn5d Do9bCZ51iVmuuYIN4pluls3YxV/blPaBMta/k0kF0bR/r6cRLNu9pGm+uVyIsvI2EK T3+omePTntZ4JDzjU1nGDssQCT/EP8WiG9D0XxNwi6uss7FpSAR9FItZxHKbuIpJgV IoNqXzbP2gxfVmGlsrdW3gyNzFmcEgRv8qy/oDVnyv5+yR6JMsRfQ5O3XztpT73uPy k/uxeewWf1OCkNSWZY44rjW3qLuIUzcl1QUe0GgLPUY/mUi3KSSQ37/QvfbhtuayuF VMp7aLpVxNlTLdAVlZ1PPOPRNnU+7QQxyJQmkm0kqTPg+EsAPkYCYl87qr9FGXyX+c ITfXusXMNiUZ++U/saUE3zvUc3qu2VODo9FWKkms7COtys2898hOlfLUfx1+fQRKGp 91u9JVpPL/g3PXJl+y4toeTI= Received: from localhost (unknown [128.0.188.242]) by wolfsden.cz (Postfix) with ESMTPSA id A2D7325B5F8; Wed, 12 Jul 2023 08:27:03 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1689150423; bh=WqoX2TDSu/AzGxeJyFwTuNAUumk3cgeJEz+zDasg50I=; h=Date:From:To:Cc:Subject:References:In-Reply-To; b=jQfOffnx21HBOt3JyHKnuyiEwKxbjeYfWWUOYJ/9KeUEncYv0vtZDzxxczjid9/jW O1jXiERVUwEewITvK5q2jgZMpebWvrOMRUpkctEpeK/8BqK5lAWYksQ4SHjVk4yDIq h6Y2iofh9vFbdHy8u/i3j9trH70FjG7f1GKhn5VjC0uWF/cK8fBfZGHxO0yNRktng7 tqWbEWaCuyahUPd7zElF0vJuzS63AFWk5H8aPQTGNd69kY0lWEzVNeXYmWVEVUzkiN 9y2bBuuzSmAZnV2SX6H2bi7cSNeoPeqZersfFxpkpPZ9ZELFszemzBs4Cu+rIotl4U XFJpLcCZhfFxM/BuYMRCHbEpgBscoqu0jNvXANRNEh8DT0+K8olsZVaVZ7C6rJylAo M4YjDGFKZYiMsC2QtcJnI7BN7GyKwNZDysBC0XrMi9TAkEdcUaLtUKLhXoCcec4xxA h7TjQlU+mmLOOgeeavgt4jovW5N+Qrhy5apr+Lg+l0INWn2Eug64S+yQ5HOfBxKi/N +Uz9JhjyMZznPpFvRIK9rdGEtyIGFPL0CLIeDTMcmzlrvB+RhkBepix25+Q7ij+Ari z0ZpqsI3a9/B3am2ug9DtqgyX89vCda8n1JhFvpz00tep/Nr19G1oKbWpc5AHzZbxz lj0FbtabQN8inFP9EP+RsU9g= Received: from localhost (localhost [local]) by localhost (OpenSMTPD) with ESMTPA id de1a5c5f; Wed, 12 Jul 2023 08:27:03 +0000 (UTC) Date: Wed, 12 Jul 2023 10:27:03 +0200 From: wolf To: Yasuaki Kudo Cc: Zelphir Kaltstahl , help-guix Subject: Re: VSCode DevContainer for Guix? (Yasuaki Kudo) Message-ID: Mail-Followup-To: Yasuaki Kudo , Zelphir Kaltstahl , help-guix References: <18CDB333-9287-43E3-8C74-37ED66B31750@yasuaki.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="cHclnUep5YIM8Qw1" Content-Disposition: inline In-Reply-To: <18CDB333-9287-43E3-8C74-37ED66B31750@yasuaki.com> Received-SPF: none client-ip=37.205.8.62; envelope-from=ws@wolfsnet.cz; helo=wolfsden.cz X-Spam_score_int: -17 X-Spam_score: -1.8 X-Spam_bar: - X-Spam_report: (-1.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.249, SPF_HELO_PASS=-0.001, SPF_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01, UNPARSEABLE_RELAY=0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: help-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -5.90 X-Spam-Score: -5.90 X-Migadu-Queue-Id: 3DAF866345 X-Migadu-Scanner: mx0.migadu.com X-TUID: vmrmyurVLRAS --cHclnUep5YIM8Qw1 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On 2023-07-12 10:22:33 +0900, Yasuaki Kudo wrote: > Thank you for this link Zelphir! >=20 > While I don't know much about this, it smells like the restrictions are t= he same sort that Chrome and Firefox put as the proprietary surface layered= on top of the respective copyleft foundation? >=20 > I tried the de-microsofted VSCodium when I used to run GuixOS (Now I am b= ack to Ubuntu) but it didn't work well so I left it at that =F0=9F=98=85 >=20 > My gut feeling is that Guix will excel at as niche and very efficient sof= tware packaging system and the popularity and adoption could expand from th= ere.=20 >=20 > So I thought VSCode DevContainer could be a very good place to start! =20 >=20 > An example use case I can think of is for GitHub Actions continuous integ= ration. It seems to me that local SSD caching (10GB) is almost instantaneo= us. We can cache the Guix build dependencies there. =20 >=20 > Then, it will create a Docker image as an artifact from the CI-run. The = image is as small as it can be because Guix only installs the necessary sof= tware. Careful about this assumption, Guix-generated container images are pretty l= arge and include a lot of things you might not want in there (man, info pages, b= ash, =2E..). I am not saying "do not use it", but if you try to convince people= to use Guix for container builds, size should not be your argument (especially sin= ce Alpine exists as an alternative). >=20 > This will be very beneficial because the artifact (Docker images) uploads= /downloads seem to very slow! >=20 > This way, we can gradually introduce Guix to development teams as niche s= oftware for specific cases? (The guix docker images will work together wit= h many other docker images created in conventional ways) >=20 > -Yasu >=20 > > On Jul 12, 2023, at 04:23, Zelphir Kaltstahl wrote: > >=20 > > =EF=BB=BFHello Yasu, > >=20 > > There are some legal aspects about using the official "marketplace" fro= m other than the official VSCode build: https://github.com/VSCodium/vscodiu= m/blob/master/DOCS.md#extensions--marketplace at least according to the VSC= odium linking to https://github.com/microsoft/vscode/issues/31168, wherein = someone interpreted things: https://github.com/microsoft/vscode/issues/3116= 8#issuecomment-1136375670. > >=20 > > Not sure this plays any role in your proposed process. It is something = to keep in mind. > >=20 > > Regards, > > Zelphir > >=20 > >> On 7/11/23 18:00, help-guix-request@gnu.org wrote: > >> Send Help-Guix mailing list submissions to > >> help-guix@gnu.org > >>=20 > >> To subscribe or unsubscribe via the World Wide Web, visit > >> https://lists.gnu.org/mailman/listinfo/help-guix > >> or, via email, send a message with subject or body 'help' to > >> help-guix-request@gnu.org > >>=20 > >> You can reach the person managing the list at > >> help-guix-owner@gnu.org > >>=20 > >> When replying, please edit your Subject line so it is more specific > >> than "Re: Contents of Help-Guix digest..." > >>=20 > >>=20 > >> Today's Topics: > >>=20 > >> 1. VSCode DevContainer for Guix? (Yasuaki Kudo) > >>=20 > >>=20 > >> ---------------------------------------------------------------------- > >>=20 > >> Message: 1 > >> Date: Tue, 11 Jul 2023 05:55:33 +0900 > >> From: Yasuaki Kudo > >> To: help-guix > >> Subject: VSCode DevContainer for Guix? > >> Message-ID: > >> Content-Type: text/plain; charset=3Dutf-8 > >>=20 > >> Hello!! > >>=20 > >> So I have just spent a month battling with Docker and VSCode for a pro= ject and became familiar with them. Combining both, we can create a very p= leasant and reproducible developer environment that everyone can copy. > >>=20 > >> DevContainer is like Screen/Tmux on steroids - the heavy lifting of co= mpilation and running can be shifted to a Docker, a remote SSH session, or = a combination of both, while the end-programmer can interact with the local= VSCode IDE. And the developer-facing computer can be any of the 3 - Linux= , Windows or Macintosh (inclusive of Apple custom CPU) > >>=20 > >> A development team can share the exact same environment using this mec= hanism. > >>=20 > >> I think we should have such a DecContainer for Guix programmers? =F0= =9F=98=84 > >>=20 > >> -Yasu > >>=20 > >>=20 > >>=20 > >>=20 > >>=20 > >>=20 > >> ------------------------------ > >>=20 > >> Subject: Digest Footer > >>=20 > >> _______________________________________________ > >> Help-Guix mailing list > >> Help-Guix@gnu.org > >> https://lists.gnu.org/mailman/listinfo/help-guix > >>=20 > >>=20 > >> ------------------------------ > >>=20 > >> End of Help-Guix Digest, Vol 92, Issue 9 > >> **************************************** > >=20 > > --=20 > > repositories: https://notabug.org/ZelphirKaltstahl > >=20 > W. --=20 There are only two hard things in Computer Science: cache invalidation, naming things and off-by-one errors. --cHclnUep5YIM8Qw1 Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEt4NJs4wUfTYpiGikL7/ufbZ/wakFAmSuY9cACgkQL7/ufbZ/ wan2NA/+KDSN7zYDvLsl99S4OOmyOYJ7SbbgjWK63RqkkA3QZdggN3V5BOqGEBkf MxAhmg1hyPumpCNhNjTwLCZFpRlxfl2YcEIgbiJzXHj5FVsibxGkvDRP8MOu98R6 YPBti7ibK+MtG6Zru45uu9Rsf+V96jUPkRMZlypJM6N7Px/mXDZTvzwEi6YYXk+s xG4DtqL9zb3LaV3EfQTNYm4H0lVZLSRSkYDFXHOu1tR+QY9T7RyFB6cswUiVeZnI ToOpF6DfHyQ57PcJ33Yyy1Zw5IJLd5u4cl2ndrMSJf/bOJDx7da+mTRffS3sJWun Rk7CCO/TMoInht2XU2MY4nQtd+GIiTnUT6t5k7MDJE3FjgO/XBMzeGm81cVXEf3P tRMOMbtMkr6DRg4CyQC24hL9xAy9kHYrDih6tAYok1NVCFQDNR6i0EKyt3yGW6gc khCh0cP4MMga60wrI89YAKU1N03fFryzvwk4e5uHIKjkHaqSaviYoTeS4kVlTsng o6DfDW2oTUsAhHPN2syeYTNam3+P1sdqGhjFlMbgT+uhj6HJtr+LnOX9AKb3lHnk xHL8xgGunt6IjDvc2gtExMjFGBm9VPXJVVofrogjCNpBMoE5o9aZsM3Sm5UKUbAL ZU6rZe4lVhVcnGZ4Up8YITZMEqwD+K09ePc5BRg/9YQj26CAols= =7FVi -----END PGP SIGNATURE----- --cHclnUep5YIM8Qw1--