From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.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 eOdPGYoArmTnxwAASxT56A (envelope-from ) for ; Wed, 12 Jul 2023 03:23:22 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id 6J5lGIoArmR8RgAAG6o9tA (envelope-from ) for ; Wed, 12 Jul 2023 03:23:22 +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 2C91554D47 for ; Wed, 12 Jul 2023 03:23:20 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=yasuaki.com header.s=pair-202303180853 header.b=rr9WRsOw; 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=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1689125002; 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: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=otAYn5Rpb/LeokPWZwZ/xMo/Ifo7Qtm+4vrX78ojGS8=; b=YXJ/uGyic5SvcStod+uh7yqE3bK/oQKy9B3Y9MPU6H+5em+yv+Pj9gzsb0TUUQeu8Ucy7B CiE2Rn+J9841Ysalk952gmGAqxvijVnfmWY+pRuWIzYeh4HNzPxvx2H2j0DsPnA3owVHJs 7EY3B2pMYrHyZ3s/RtxPlVjlw207DIZ5vBvMA2EHdXCI68ksAhn1dNfTXeFR8yylkNUhYQ tIGFGguaMx3dyh6SA7WdCDi848TNn8QgGW0pZ6jeWUjOU0LNoCiXUuTM3k0HB0MENsUOF4 +wY3qFJOeH92rX3KRacRtY93MuS2jAIo8CZXOAKhi1JUM3D9v9BK4fLum6cm2Q== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=yasuaki.com header.s=pair-202303180853 header.b=rr9WRsOw; 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=none ARC-Seal: i=1; s=key1; d=yhetil.org; t=1689125002; a=rsa-sha256; cv=none; b=rsa6J7pCHW33IOLMDLEACtpUJmU3TB/lmXaivJgS9s9eAy1IOma1lpMqAlaNC4JX7gvOhb LvVykllEPa6bhvKvTwmWTjshxVVJohiUIXYYgYWWZL2TXKriClCb+fY4Ztwnl00lxNjAS2 U9prcjuqu+atdOEtLMaS3YMbhkVovDvin52c6I+0PLPt9OqBn3dhyTtt69Hzx5gaw11/o6 o5krWFd+O/k70DDxf6YfV/kx5C+UwYtXtRiE+RW1VIyQFGRE4eNEZsyPu4Aekeat9nhbe0 idVGcoT/LF7wKBmK9S7mUcOP/JG7U3i9wDdmENtkYNPOa9UC4fJQt9ukPffyvw== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qJOZ9-0003Od-Px; Tue, 11 Jul 2023 21:22:51 -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 1qJOZ7-0003OB-E7 for help-guix@gnu.org; Tue, 11 Jul 2023 21:22:49 -0400 Received: from mail1.g12.pair.com ([66.39.4.99]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qJOZ5-00079n-Cy for help-guix@gnu.org; Tue, 11 Jul 2023 21:22:49 -0400 Received: from mail1.g12.pair.com (localhost [127.0.0.1]) by mail1.g12.pair.com (Postfix) with ESMTP id B27C271E768; Tue, 11 Jul 2023 21:22:45 -0400 (EDT) Received: from smtpclient.apple (w135107.ppp.asahi-net.or.jp [121.1.135.107]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mail1.g12.pair.com (Postfix) with ESMTPSA id 77662745738; Tue, 11 Jul 2023 21:22:45 -0400 (EDT) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable From: Yasuaki Kudo Mime-Version: 1.0 (1.0) Subject: Re: VSCode DevContainer for Guix? (Yasuaki Kudo) Date: Wed, 12 Jul 2023 10:22:33 +0900 Message-Id: <18CDB333-9287-43E3-8C74-37ED66B31750@yasuaki.com> References: Cc: help-guix In-Reply-To: To: Zelphir Kaltstahl X-Mailer: iPhone Mail (20F75) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yasuaki.com; h=content-type:content-transfer-encoding:from:mime-version:subject:date:message-id:references:cc:in-reply-to:to; s=pair-202303180853; bh=otAYn5Rpb/LeokPWZwZ/xMo/Ifo7Qtm+4vrX78ojGS8=; b=rr9WRsOw3kFIZNaF6PNPeqA8MiCZ8/228RyQCaH0NSGvdfa+qojkXcdd5fS0GeJYLn0TMdzQY5OeJcU5iZl25uknppY/KF1H+uVEwhzipi0FbFvNBBgIDABcKGNqg431pEQul/cFII1YD0HX0TVcE1+yHdzo2Iy3XQC1ask6WB9b1MyCRGA/VJwDPR2tDlONY1/IshmspMVrlyzTKd9ymUkUeYRYvBgHfVUUCalNllDENwWCEAtqiBXyhfgMuScJ26hnF/cxmAXxRbhhlGT9E7q1NPHizUFEgLflpO1AtKeWYHIsavvX56L6FUctGbtFP5buCgnk9Kib+RLzXoD0wA== X-Scanned-By: mailmunge 3.11 on 66.39.4.99 Received-SPF: pass client-ip=66.39.4.99; envelope-from=yasu@yasuaki.com; helo=mail1.g12.pair.com X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham 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-Scanner: mx0.migadu.com X-Migadu-Queue-Id: 2C91554D47 X-Migadu-Spam-Score: -1.90 X-Spam-Score: -1.90 X-TUID: 36g8KA8kANz6 Thank you for this link Zelphir! While I don't know much about this, it smells like the restrictions are the s= ame sort that Chrome and Firefox put as the proprietary surface layered on t= op of the respective copyleft foundation? I tried the de-microsofted VSCodium when I used to run GuixOS (Now I am back= to Ubuntu) but it didn't work well so I left it at that =F0=9F=98=85 My gut feeling is that Guix will excel at as niche and very efficient softwa= re packaging system and the popularity and adoption could expand from there.= =20 So I thought VSCode DevContainer could be a very good place to start! =20 An example use case I can think of is for GitHub Actions continuous integrat= ion. It seems to me that local SSD caching (10GB) is almost instantaneous. W= e can cache the Guix build dependencies there. =20 Then, it will create a Docker image as an artifact from the CI-run. The ima= ge is as small as it can be because Guix only installs the necessary softwar= e. =20 This will be very beneficial because the artifact (Docker images) uploads/do= wnloads seem to very slow! This way, we can gradually introduce Guix to development teams as niche soft= ware for specific cases? (The guix docker images will work together with ma= ny other docker images created in conventional ways) -Yasu > On Jul 12, 2023, at 04:23, Zelphir Kaltstahl w= rote: >=20 > =EF=BB=BFHello Yasu, >=20 > There are some legal aspects about using the official "marketplace" from o= ther than the official VSCode build: https://github.com/VSCodium/vscodium/bl= ob/master/DOCS.md#extensions--marketplace at least according to the VSCodium= linking to https://github.com/microsoft/vscode/issues/31168, wherein someon= e interpreted things: https://github.com/microsoft/vscode/issues/31168#issue= comment-1136375670. >=20 > Not sure this plays any role in your proposed process. It is something to k= eep 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 projec= t and became familiar with them. Combining both, we can create a very pleas= ant and reproducible developer environment that everyone can copy. >>=20 >> DevContainer is like Screen/Tmux on steroids - the heavy lifting of compi= lation and running can be shifted to a Docker, a remote SSH session, or a co= mbination of both, while the end-programmer can interact with the local VSCo= de IDE. And the developer-facing computer can be any of the 3 - Linux, Wind= ows or Macintosh (inclusive of Apple custom CPU) >>=20 >> A development team can share the exact same environment using this mechan= ism. >>=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