Re: VSCode DevContainer for Guix? (Yasuaki Kudo)
Thank you for this, yes, this is exactly the kind if idea I had in mind, although I was assuming that Guix docker would be super bare bones by almost default I think keeping the core of your software benefits the entire system, making it secure and keeping the cost down for storage, hosting and running. So that's why I am interested -Yasu > On Jul 12, 2023, at 20:27, Ekaitz Zarraga wrote: > > >> Careful about this assumption, Guix-generated container images are pretty >> large >> and include a lot of things you might not want in there (man, info pages, >> bash, >> ...). 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 since >> Alpine exists as an alternative). > > That is very true. > This week in System Crafters they have been workin on trying to reduce this. > But I didn't have the time to watch the results deeply. > Be careful, youtube link: > https://www.youtube.com/watch?v=ItGRcOLT-BM
Re: VSCode DevContainer for Guix? (Yasuaki Kudo)
Thank you for this link Zelphir! While I don't know much about this, it smells like the restrictions are the same sort that Chrome and Firefox put as the proprietary surface layered on top 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 My gut feeling is that Guix will excel at as niche and very efficient software packaging system and the popularity and adoption could expand from there. So I thought VSCode DevContainer could be a very good place to start! An example use case I can think of is for GitHub Actions continuous integration. It seems to me that local SSD caching (10GB) is almost instantaneous. We can cache the Guix build dependencies there. 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 software. This will be very beneficial because the artifact (Docker images) uploads/downloads seem to very slow! This way, we can gradually introduce Guix to development teams as niche software for specific cases? (The guix docker images will work together with many other docker images created in conventional ways) -Yasu > On Jul 12, 2023, at 04:23, Zelphir Kaltstahl > wrote: > > Hello Yasu, > > There are some legal aspects about using the official "marketplace" from > other than the official VSCode build: > https://github.com/VSCodium/vscodium/blob/master/DOCS.md#extensions--marketplace > at least according to the VSCodium linking to > https://github.com/microsoft/vscode/issues/31168, wherein someone interpreted > things: > https://github.com/microsoft/vscode/issues/31168#issuecomment-1136375670. > > Not sure this plays any role in your proposed process. It is something to > keep in mind. > > Regards, > Zelphir > >> On 7/11/23 18:00, help-guix-requ...@gnu.org wrote: >> Send Help-Guix mailing list submissions to >>help-guix@gnu.org >> >> 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-requ...@gnu.org >> >> You can reach the person managing the list at >>help-guix-ow...@gnu.org >> >> When replying, please edit your Subject line so it is more specific >> than "Re: Contents of Help-Guix digest..." >> >> >> Today's Topics: >> >>1. VSCode DevContainer for Guix? (Yasuaki Kudo) >> >> >> -- >> >> 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=utf-8 >> >> Hello!! >> >> So I have just spent a month battling with Docker and VSCode for a project >> and became familiar with them. Combining both, we can create a very >> pleasant and reproducible developer environment that everyone can copy. >> >> DevContainer is like Screen/Tmux on steroids - the heavy lifting of >> compilation 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) >> >> A development team can share the exact same environment using this mechanism. >> >> I think we should have such a DecContainer for Guix programmers? >> >> -Yasu >> >> >> >> >> >> >> -- >> >> Subject: Digest Footer >> >> ___ >> Help-Guix mailing list >> Help-Guix@gnu.org >> https://lists.gnu.org/mailman/listinfo/help-guix >> >> >> -- >> >> End of Help-Guix Digest, Vol 92, Issue 9 >> > > -- > repositories: https://notabug.org/ZelphirKaltstahl >
VSCode DevContainer for Guix?
Hello!! So I have just spent a month battling with Docker and VSCode for a project and became familiar with them. Combining both, we can create a very pleasant and reproducible developer environment that everyone can copy. DevContainer is like Screen/Tmux on steroids - the heavy lifting of compilation 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) A development team can share the exact same environment using this mechanism. I think we should have such a DecContainer for Guix programmers? -Yasu
Re: Guix on Macintosh?
Yes, but the thing is, when you use docker compose with 7 services or something, the dev teams will understand the logic of using Guix to consolidate these. So we might end up with a Guix-for-developers container (for Windows and Mac programmers, won't be in production), which we will use to produce the actual, consolidated Guix docker for production use (using the docker export feature of Guix) ? -Yasu On 6/23/23 19:24, pelzflorian (Florian Pelz) wrote: Yasuaki Kudo writes: Docker for MacOS does seem to run Linux containers. Running Guix inside a Docker container seems like a very peculiar foreign distro. In your words, Yasuaki, it is convoluted. I believe Docker is not intended to be used in this way. Mostly Docker and Guix are alternatives. IIUC Docker on Mac runs a Linux VM internally. Running Guix inside Docker on Mac’s Linux VM is building up software layers on software layers unnecessarily. Also, Docker is not intended to be used in this way. It is untested with potential for bugs. Also you can use Guix to make Docker images from Guix packages, but that is mostly for convenience when someone has a setup in which it is easier to run a Docker image. Regards, Florian
Re: Guix on Macintosh?
Thank you all for your replies! So I spent many hours figuring out how DevContainers for VSCode worked and seems very promising. It seems all we need to do is to have a Guix Container and we should be able to take advantage of Guix for our daily, ordinary work! Docker for MacOS does seem to run Linux containers. Of course, we can do full virtual machine as you suggested but I would prefer to stretch Docker as far as we can, so we can stay close to the environment of our choice! Cheers, Yasu On 6/19/23 21:50, Yasuaki Kudo wrote: Hi! I started to experiment with VSCode DevContainers, to see if it is possible for Linux/Windows/Macintosh users to share the same Linux development environment. https://github.com/yugawara/xeyes I work at a worker cooperative ( our federation site is here at https://patio.coop ) and one thing we have in common is to work from various places on the planet and we like having all services that make up a (web) application on our laptop computers, etc. As we all know, the way Docker works means there is horrendous waste on hard drives and network. So I am thinking of using Guix. However, I understand that there is no native support for Guix for Macintosh. Although I am not terribly sure (yet) how Guix may or may not help with script specific packages such as NPM..., my biggest question is how a Mancintosh user can take advantage of Guix. There are quite a lot of programmers with those shiny Mac Laptops... Of course, as a last resort, there must be some Intel emulators for these so one can install Linux and Windows on top of them but I wonder if: * Guix Package Manger can be installed within a Docker Container which can be hosted on a Macintosh? The reason I am asking about Mac in particular is that Windows does a decent Linux emulation with WSL2 and my solution would seem to work. I just don't have any Mac hardware so I cannot tell for sure if this is at all viable... If it does, although this might be a little convoluted but I think we can use Guix as part of a Docker container that is meant for programmers in the same development team. Many thanks in advance!! -Yasu
Guix on Macintosh?
Hi! I started to experiment with VSCode DevContainers, to see if it is possible for Linux/Windows/Macintosh users to share the same Linux development environment. https://github.com/yugawara/xeyes I work at a worker cooperative ( our federation site is here at https://patio.coop ) and one thing we have in common is to work from various places on the planet and we like having all services that make up a (web) application on our laptop computers, etc. As we all know, the way Docker works means there is horrendous waste on hard drives and network. So I am thinking of using Guix. However, I understand that there is no native support for Guix for Macintosh. Although I am not terribly sure (yet) how Guix may or may not help with script specific packages such as NPM..., my biggest question is how a Mancintosh user can take advantage of Guix. There are quite a lot of programmers with those shiny Mac Laptops... Of course, as a last resort, there must be some Intel emulators for these so one can install Linux and Windows on top of them but I wonder if: * Guix Package Manger can be installed within a Docker Container which can be hosted on a Macintosh? The reason I am asking about Mac in particular is that Windows does a decent Linux emulation with WSL2 and my solution would seem to work. I just don't have any Mac hardware so I cannot tell for sure if this is at all viable... If it does, although this might be a little convoluted but I think we can use Guix as part of a Docker container that is meant for programmers in the same development team. Many thanks in advance!! -Yasu
Re: Can't type Japanese anymore
It has been a long time since I switched to Ubuntu (and I use Guix as an additional package manager in Ubuntu - this way I get maximum mainstream compatibility, which is very helpful for work, and the flexibility that comes with Guix! ) but just one thing I vaguely remember for situations like this - if you create another fresh user and try with almost no specific configuration in /home/another-user , would the problem still persist? When I used to use Guix, I almost continuously ran guix pull and rebuilt the system so I could immediately find when things broke! -Yasu > On Dec 27, 2022, at 01:34, Luis Felipe wrote: > > Hello, > > After upgrading recently to Guix System 9cb42f7, I can't type Japanese > anymore. It disappeared from the list, even though I still have ibus-anthy > installed. > > Also, the workaround in https://issues.guix.gnu.org/35610 does not work > anymore. > > If you are using a more recent version of the system, can you type Japanese > normally? > > > --- > Luis Felipe López Acevedo > https://luis-felipe.gitlab.io/ >
Re: OnlyOffice?
Hi, Yes, I know about NextCloud and yes, looking for an Online version. I just thought OnlyOffice was looking better than LibreOffice and I have just tried its online version - it worked really well! Although skepticism (defeatism?) abounds, there is a lot of interest in carving out some niche where we can outperform MS and Google. I think Enterprise Guix package management, packaging of business focused applications, deployment, monitoring, etc will get us there where we can survive and eventually thrive Let me also try the GTK trick for web browsers! Never heard of it!! -Yasu > On Oct 7, 2022, at 21:53, phodina wrote: > > > > > > Sent with Proton Mail secure email. > > --- Original Message --- > On Friday, October 7th, 2022 at 10:07 AM, Ricardo Wurmus > wrote: > > >> Yasuaki Kudo y...@yasuaki.com writes: >> >>> For our IT worker cooperative in preparation, one of my areas of >>> interest is the realistic partial alternative to Google and Microsoft >>> office suite, for a specific market segment. […] >> >> >> Is this for an Office suite accessible throught the web browser? >> >>> Has anyone here tried to build or assess the possibility of Guix >>> package for OnlyOffice? > > Why not use Nextcloud office suite? It's designed to be used in cloud > environment. [1] > > [1] https://nextcloud.com/office/ > > > Petr
OnlyOffice?
Hello! I really wish I actually had time to play with Guix and really use it but I have such a time constraint, especially right now - so here I am just asking... For our IT worker cooperative in preparation, one of my areas of interest is the realistic partial alternative to Google and Microsoft office suite, for a specific market segment. (I think the huge limitation for Microsoft and Google is the very one-sided use agreement - they get to decide when to stop or start features and they generally have pay-as-you-go model that limits an organization to expand the offer rapidly to thousands of users, without making budgetary commitments first. Also, they impose huge vendor-locks) Has anyone here tried to build or assess the possibility of Guix package for OnlyOffice? https://www.btactic.com/build-onlyoffice-from-source-code/?lang=en OnlyOffice claims to be AGPL - but my sneaking suspicion is that once you open the box, you'll find all sorts of things like binaries, etc that cannot be compiled by us??? Just a wild guess. -Yasu
Re: Enterprise Guix Hosting?
And I recently experimented with WSL2 and WSLG on Windows 11, running on a 5-year-old Surface Book. Ubuntu works quite well on it and I can run Linux GUI applications from Windows and run Windows applications, like Excel and Powershell, from Linux. So this indicates there is a high likelihood Guix will be a decent enterprise package manager, as long as the users' IT department allows WSL on enterprise-managed Windows PCs. (which may be a hurdle too much to ask for though) Sorry I have been wanting to follow up more but I have been too busy setting up our worker coop in Japan -Yasu > On Aug 26, 2022, at 03:37, Olivier Dion wrote: > > On Mon, 15 Aug 2022, Phil wrote: >> Yasuaki Kudo writes: > >> However, I am interested in seeing Guix and Guix services >> gaining a foothold in the commercial space, and exchanging ideas > > I see a lot of potential there: > > - Continuous integration > - VM generation and deployment with OpenStack > - Container generation and deployment with K8s > - Root filesystem generation for embedded systems (e.g. Yocto, Elbe) > >> as well as growing it in academia too. > > As a student, here's how I have been using Guix on the academic side: > > - CI (cuirass) of developed tools > - Reproducible workflow for my research > - guix-shell + manifests for volatile laboratories environment > - Automatic correction of student's work submission (similar to a CI) > > In all, Guix is a very powerful/flexible tool when in good hands and > everyone in the field would gain from mass adoption of it. I think it > has a bright future ahead. > > -- > Olivier Dion > oldiob.dev
Re: Enterprise Guix Hosting?
Hello Phil!!! What you wrote makes so much sense and sounds very familiar because I had similar discussions with my partners at our worker coop! Sometime soon perhaps we can discuss in a video chat or something? Our idea is at the coop is that we want to develop software development acceleration tools, and a major part would be container-less software provisioning so that composition would not mean more and more layers of technical debt... We would like to do this alongside our regular paid software development for existing clients. Once we have acquired enough scripts, knowhow and the enthusiasts among our colleagues, we can spin it off and sell it as a service/consultation! (software will stay as Libre and Free - enterprise users would not be interested otherwise ) BTW, I am probably the least technical person within the IT side of our coop - my other partners are pretty high level experts -Yasu > On Aug 14, 2022, at 18:53, Phil wrote: > > Hi Ludo, > > Comments inline. I'm also aiming to be at the Guix 10 Year thing in > Paris - sadly only for the Friday, so happy to discuss this informally > there too! > > Ludovic Courtès writes: > >> Hi Phil, >> >> Phil skribis: >> >> >> From your experience, would you say that persuading was hard primarily >> because Guix was unknown (to them), or because getting started is >> difficult? > > It's a bit of both, in the commercial space there are some mundane > practical concerns. One example would be when 2 companies security > audit each other before using each other's services. If you're using a > prebuilt image of a well known OS, served by AWS or Azure, then the > reality is that this is often easier for a security team to tick this off as > a known platform - for no other reason than they've seen it before. > Auditing Guix isn't impossible but it can lead to more questions, simply > because of lack of familiarity. This can be somewhat mitigated by using > Guix as just a package manager on top of a foreign distro, but this > doesn't fully harness the potential of Guix, so it's a trade-off. > > Internally speaking the lack of familiarity wasn't as much of a barrier. > Python is the main language where I work, so I sold it as a better version > of Virtual Environments - which work for all languages not just Python. > There was an significant initial effort from me and my team to convert > all the current venvs to Guix packages and integrate it with the various > Runtimes and IDEs we use, but once we'd done this, people were largely > happy to transition. I did have to do some tutorials and write a bit of > documentation that meant people could start using Guix without really > getting into the details of what Guix is doing. My argument to most > developers was, "you don't really know all the details of how virtual > environments work, so why do you care about Guix's internals?". Most > happily accepted this argument, providing you give them good docs on how > to use Guix in the workplace. > > Whilst I like Guix's own documentation, some developers did feedback to > me that it was to complex for people who just wanted to get-on and use > Guix, rather than setup, understand and maintain Guix. So this is the > area I ended-up documenting - "Guix Up-and-running for Python > Developers". One day I'd like to publish it properly, but it's very much > a WIP at the moment! > > One advantage I did have is that I rewrote the CI/CD system > to work around Guix, and the old system was showing it's age, so people > were happy to trade Python venvs, for a better build and deployment > experience. > > We now have 5 developers working at least part of the time writing > Guix packages, or tweaking small bits of the Guix core code (I keep > meaning to make more of an effort to get our efforts back into Guix > proper!). As more developers slowly try-out more advanced stuff in Guix > this number is growing, and most developers that invest the time end up > liking Guix - so I think there's plenty of hope to grow it further! > >> >> Personally I think we need to make Guix approachable to a wide audience, >> meaning not just developers—that goes beyond your target audience, let’s >> be ambitious! I’d like to think that ‘guix install’, ‘guix shell’, and >> the likes have a rather low barrier to entry to someone who’s use the >> command line before, but I’ve also seen newcomers confused because >> “environment variables are hard” and get in the way. > > Yep I do review how Guix is being used at work, and occasionally do find > people using it in weird and wonderful ways. All I do is build up my > documentation so we have a cookbook like format which covers recommended > ways for developers to do things, and things for them to avoid doing too! > > Environment variables can be a common one, when people fiddle with their > PYTHONPATH in their code, or .bashrc, and this can have knock-on issues > with Guix. Best practice documentation helps
Re: Enterprise Guix Hosting?
Let's do this! My partners and I are fired up about the idea and we would like this to be developed, along the way we continue to serve customers (or co-creators, in our worker coop world). Realistic, step by step implementation, niche to niche, until we make it big! -Yasu > On Aug 10, 2022, at 05:37, Ludovic Courtès wrote: > > Hi Phil, > > Phil skribis: > >> My own experience is that whilst it doesn't require a PhD to setup Guix >> for the enterprise, it is a non-trivial journey, and it does require >> a fair amount of time and effort to create something that regular >> developers/scientists (i.e. non-Guix converts who just want to get on with >> their >> day-jobs) accept is as good or better than regular tooling they are used >> to. There's certainly a barrier to entry for people who don't want to >> do a deep-dive and just want tooling to support them in their professional >> role, without them having to think about it too much. >> >> Upselling the real benefits of Guix like rollbacks, profiles, perfectly >> reproducable builds, swapping one dependency for another - even in a >> scientific/tech-savvy company with lots of PhDs took a bit of persuading >> from me. Even now I think our company is only using perhaps 30% of the >> true power of Guix. Making all that power accessible to people who just >> want to get on with their jobs in an easy, intuitive way is a challenge >> I'm continuously trying to address. I also hope things like PantherX >> might help bridge the gap in the near future! > > From your experience, would you say that persuading was hard primarily > because Guix was unknown (to them), or because getting started is > difficult? > > Personally I think we need to make Guix approachable to a wide audience, > meaning not just developers—that goes beyond your target audience, let’s > be ambitious! I’d like to think that ‘guix install’, ‘guix shell’, and > the likes have a rather low barrier to entry to someone who’s use the > command line before, but I’ve also seen newcomers confused because > “environment variables are hard” and get in the way. > > Are there any takeaways from your experience in terms of UX/UI > improvements we could work on? > > Thanks, > Ludo’.
Re: Enterprise Guix Hosting?
Oh wow!! Thank you everyone!!!I will definitely show our conversation thread to my partners - in fact, right now!!! Let's make it happen!! > On Jul 31, 2022, at 01:20, Phil wrote: > > > Olivier Dion via writes: > >>> On Sat, 30 Jul 2022, Yasuaki Kudo wrote: >>> I have been exposed to the world of Docker images and Continuous >>> Integration that seem spend most of the time downloading and building >>> them >> >> Yup. Tons of energy wasted and pollution generated. >> >>> Have you heard of Guix Hosting services jusy like the Docker or Github >>> companies target enterprises customers? >> >> IMO Guix is still very niche. Only a handful of Unix enthusiasms / >> scientifics use it and companies are not in yet. I might be wrong. > > I introduced Guix to a company called Quantile where I work as the > Head of Enterprise Architecture. Docker would have been the typical > mainstream alternative, but for the reasons you say and others Guix was > considered a more complete solution to a whole engineering ecosystem. > Nix was also considered, but we went with Guix in the end. > > We have integrated it into our standard Jenkins pipeline and AWS cloud, > and it plays a central role both in how developers work (eg replacing > Python's virtual environments) and how software is deployed by our CI/CD > system. > > It was a bit of a punt, given Guix is not yet widely used outside > academia, but it ticked all the boxes, performed well in PoC tests, and > seemed like a solid tech decision - and one I'm still very pleased I made! > > We've done a few talks on our setup and integration with more standard > commercial tooling - in case you haven't seen these they might be of interest: > https://www.cloudbees.com/videos/purely-functional-ci-cd-pipeline-using-jenkins-with-guix > https://xana.lepiller.eu/guix-days-2022/guix-days-2022-guix-aws-lambda.mkv > > I'm always very interested in any discussions regarding Guix use in > mainstream and commerical projects - I think it has a bright future in > this space. > > > Phil
Enterprise Guix Hosting?
Hello! I have been exposed to the world of Docker images and Continuous Integration that seem spend most of the time downloading and building them I can see where they are coming from though - the software dev teams will pay any reasonable money for what works! Have you heard of Guix Hosting services jusy like the Docker or Github companies target enterprises customers? My partners and I are just starting an IT worker cooperative and I thought this might be an interesting thing to get into! -Yasu
Re: Installation: Load non-free wifi firmware (iwlwifi)
One phrase I heard recently and struck a chord: Needs Unite, Ideas Divide We all need Free Software but I think the attitude toward non-free seems to vary - I seem to be on the side of "I don't care as long as I know where they are on my system" So yes, I think we just need to have a separate community and happily work together -Yasu > On May 13, 2022, at 05:19, David Lecompte > wrote: > > Hi, > >> Le jeudi 12 mai 2022 à 18:00 +0200, zimoun a écrit : >> The Guix project is part of the GNU project; for the good, the bad or >> the ugly. What it implies is documented, for instance: >> >> < >> https://www.gnu.org/distros/free-system-distribution-guidelines.en.html >>> >> > > These rules are for GNU/Linux distros in general, they are not specific > to the GNU project, e.g. they are also followed by Trisquel, Parabola and > Hyperbola. > > I only use and recommend distros that follow these rules because with > other distros, it is frequent to receive "solutions" by using non-free > software, while the people proposing the "solutions" don't even mention > it is non-free software because they don't care. > > Some may say it is censorship, for me it is commitment not to mislead > people. > > For wifi, since linux-libre has support for wifi USB dongle using ath9, I > guess it should work fine with Guix SD (but I haven't tried actually). > > David. > signature.asc Description: Binary data
Re: Screen sharing ungoogled-chromium
I do use Guix (with questionable modules added) as my primary computer at home and I tell you only half of the applications are sharable including chromium and emacs. Many other applications are not. But then again I use wayland so I can't tell easily which is causing what problems... -Yasu > On May 2, 2022, at 08:43, Maxim Cournoyer wrote: > > Hello, > > phodina via writes: > >> Jitsi works in chromium and I'm able to share screen. >> >> But I'm trying to switch to Guix as my work laptop but in order to do >> that the Teams screen share would have to work. >> >> Anyway it's proprietary garbage so if there isn't anybody who got it >> working let's just close the discussion. > > If it's anything like the Google Meet proprietary SaaS, it may requires > Google-specific WebRTC extensions not yet part of the standard (dubbed > "Hangout Services Extension" and disabled in ungoogled-chromium). I > remember reading this interesting related discussion about the "Hangout > Services Extension" [0]. I'm not sure it's related, but who knows! > > [0] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=886358 > > HTH, > > Maxim >
Re: Guix for Corporate "Batch Jobs"?
Hi Phil, Thank you so much, yes, this does help! I was thinking of profit/loss simulations for millions of transactions at large financial companies. They typically have purpose-built libraries written in C and rely on server farms and beefy databases. The acceptable range of input for such systems are quite limited and they do fail due to bad data, wrong assumptions of dates, business events, and so forth. And I am always looking for a good place to start for international worker cooperatives spread around the globe. Providing 24 hour "dev/op" network with Guix as one of the core competencies might do -Yasu > On Mar 9, 2022, at 08:18, Phil wrote: > > Hi Yasu, > > Yasuaki Kudo writes: > >> Hi, >> >> In many so-called Application Support jobs in the enterprises, one of the >> core responsibilities is to see through the daily completion of "batch jobs" >> - those I/O heavy processes that take a long time to run, even with parallel >> processing. >> >> And at the core of it is to "re-run" the jobs, after due troubleshooting. >> >> In many workplaces I have seen, teams ended up writing their own job >> schedulers based on cron or used proprietary software such as Autosys (and >> in Japan, there are local brews such as A-Auto, if I remember the name >> correctly). > > Not sure if this is exactly what you're looking for - but Guix in my > experience can sit at the centre of a tech-stack for providing software > on machines, and then batch-running that software in a very predictable way. > > However Guix is currenty first and foremost a command-line tool, so I > find myself augmenting it with other standard offerings to produce > familiar front-ends for triggers, job processing, management, etc. > > A few examples below. > > I oversee the use of Guix in an enterprise environment. Initially it > was used to build/test our software and also provide deployments with > dependencies etc. We wrapped Guix builds in Jenkins, which in-turn > integrates with our source control to trigger Guix using a standard > branch workflow developers are used to. Guix fetches and caches any > build dependencies making subsequent builds faster, and making artifacts > available via a Guix substitute server to servers across the enterprise. > > More recently and probably more useful to you - I've been looking at > taking the build outputs and making them available as batch jobs using > Guix Workflow Language (https://guixwl.org) - which is a good fit if > your batches are compute jobs with well defined inputs, numerous > dependent stages, and the requirement to reproduce identical numerical > output. GWL provides lots of cool features - it's somewhat like Autosys > in that it is declarative - defining dependencies (and thus an order) > between different workflow processes etc. I don't think GWL can memoize > different processes in a workflow tho - so running a workflow several > times results in all workflow processes being run, as far as I know. > The point is you should be guaranteed the same result with the same > inputs, every time. > > I tend to wrap the GWL scripts in Rundeck (job scheduler) to allow > less-technical staff to re-run batches through a web app or to construct > a daily schedule for overnight/regression tests etc, rather than use the > guix command line. > > Note GWL isn't designed to be used if the aim of your batch jobs is to > have a side-effect on the server you're running on. We only use it to > produce results from calculations. This is different to Autosys where > each job could be entirely made-up of side-effects which change the > state of the server itself. > > HTH, > Phil.
Guix for Corporate "Batch Jobs"?
Hi, In many so-called Application Support jobs in the enterprises, one of the core responsibilities is to see through the daily completion of "batch jobs" - those I/O heavy processes that take a long time to run, even with parallel processing. And at the core of it is to "re-run" the jobs, after due troubleshooting. In many workplaces I have seen, teams ended up writing their own job schedulers based on cron or used proprietary software such as Autosys (and in Japan, there are local brews such as A-Auto, if I remember the name correctly). But none of the solutions above take good care of the mechanical incremental computation aspect and a lot of optimization (say skip this and that because they don't matter during re-runs) depend on the operators' sweat and judgement Can Guix be put into good use in this area do you think? Or maybe another way of asking this question is, can Guix be used a general compiler such as 'make'? Knowing that 'make' still exists so - is there any reason why Guix just can't take over? Maybe similar questions have been already asked in the Nix world as well? I would love to know! -Yasu
Re: Trouble configuring guix
Hi Julien, I have just suggested something similar on our Guix Development mailing list - to solve this problem, we need to create a parallel, downgraded community with higher tolerance for corruption. It serves no one that people are kept in the dark about alternatives to the GNU Purity world. While I do support the GNU principles and this being one of the main selling points of Guix, I would rather stay with Guix with corrupt packages than to go back to Windows and other proprietary-tolerant Linux distributions. I have my distaste of Actually-Existing-Capitalism and its natural extension, the 'Proprietary Software', but my approach is to beat them by creating better alternatives, winning over the 99% of the population that don't give a damn about Proprietary or Free Software debate, who just want something that works well. In that pursuit, I have no problem, at least temporarily, in taking full advantage of the proprietary software, preferably managed under the reliable Free Software systems. That's what makes Guix my ideal choice. We can create the Vernacular Guix Community and happily coexist -Yasu On 2/20/22 16:27, Julien Lepiller wrote: Hi Yasuaki, That's great to hear about why you came to guix, but please don't advertise for non-free software on guix mailing lists :) On February 20, 2022 3:03:07 AM GMT+01:00, Yasuaki Kudo wrote: Hi!, I just wanted to let you know I came to Guix for the exact same reason - Nix was way too cryptic for me I don't have any answer (sorry I am not familiar with what you mentioned) but here's my configuration (I use Wayland and "Corrupt" (meaning non-deblobbed, I guess) Linux) https://github.com/yugawara/workers-cafe/tree/main/workers-memo/guix -Yasu On 2/20/22 09:33, Cássio Tavares wrote: Hello there! Well, I need help... ## Context: * I have just a little familiarity with Guile Scheme, because I'm a LilyPond user; * I finally have a desktop that doesn't need non-libre drivers; * Although I'm not in the Tech world, I love GNU's (and the FSF's) philosophy; * I have been playing with Nix, but find it very cryptic -- not easy to understand at all. So, Guix seems to be the path I'm on now. ## Situation: I have several problems to fix, but the most important right now is to get my keyboard to work with sddm, and I need sddm for Wayland. So, without sddm, this works: ``` ... (define %this-keyboard (keyboard-layout "br" "abnt2")) ... (operating-system ... (keyboard-layout %this-keyboard) ... ) ``` But `guix system reconfigure /etc/config.scm` fails when this is this: ``` (use-modules (gnu) (gnu system nss) (gnu services networking) (gnu services sddm) (gnu services cups) (gnu services desktop) (gnu services ssh) (gnu services xorg)) ... (define %this-keyboard (keyboard-layout "br" "abnt2")) ... (operating-system ... (keyboard-layout %this-keyboard) ... (services (append (list (service dhcp-client-service-type) (service ntp-service-type) (service gpm-service-type) (service cups-service-type) (service elogind-service-type) (service sddm-service-type (sddm-configuration (display-server "wayland") (numlock "on") (theme "guix-simplyblack-sddm-theme") (xorg-configuration (keyboard-layout %this-keyboard) %base-services)) ... ) ``` Then, when I try to run `guix system reconfigure /etc/config.scm`, I get this backtrace: root@udu ~# > Backtrace: > 19 (primitive-load "/root/.config/guix/current/bin/guix") > In guix/ui.scm: >2229:7 18 (run-guix . _) > 2192:10 17 (run-guix-command _ . _) > In ice-9/boot-9.scm: > 1752:10 16 (with-exception-handler _ _ #:unwind? _ # _) > In guix/status.scm: > 829:3 15 (_) > 809:4 14 (call-with-status-report _ _) > In guix/scripts/system.scm: >1256:4 13 (_) > In ice-9/boot-9.scm: > 1752:10 12 (with-exception-handler _ _ #:unwind? _ # _) > In guix/store.scm: >658:37 11 (thunk) >1320:8 10 (call-with-build-handler # …) > 2129:25 9 (run-with-store # …) > In guix/scripts/system.scm: > 827:2 8 (_ _) > 703:8 7 (_ #) > In gnu/system.scm: > 1227:19 6 (operating-system-derivation _) >748:11 5 (operating-system-services #< kernel:…>) >782:20 4 (services _) > In /etc/config.scm: >
Re: Trouble configuring guix
Hi!, I just wanted to let you know I came to Guix for the exact same reason - Nix was way too cryptic for me I don't have any answer (sorry I am not familiar with what you mentioned) but here's my configuration (I use Wayland and "Corrupt" (meaning non-deblobbed, I guess) Linux) https://github.com/yugawara/workers-cafe/tree/main/workers-memo/guix -Yasu On 2/20/22 09:33, Cássio Tavares wrote: Hello there! Well, I need help... ## Context: * I have just a little familiarity with Guile Scheme, because I'm a LilyPond user; * I finally have a desktop that doesn't need non-libre drivers; * Although I'm not in the Tech world, I love GNU's (and the FSF's) philosophy; * I have been playing with Nix, but find it very cryptic -- not easy to understand at all. So, Guix seems to be the path I'm on now. ## Situation: I have several problems to fix, but the most important right now is to get my keyboard to work with sddm, and I need sddm for Wayland. So, without sddm, this works: ``` ... (define %this-keyboard (keyboard-layout "br" "abnt2")) ... (operating-system ... (keyboard-layout %this-keyboard) ... ) ``` But `guix system reconfigure /etc/config.scm` fails when this is this: ``` (use-modules (gnu) (gnu system nss) (gnu services networking) (gnu services sddm) (gnu services cups) (gnu services desktop) (gnu services ssh) (gnu services xorg)) ... (define %this-keyboard (keyboard-layout "br" "abnt2")) ... (operating-system ... (keyboard-layout %this-keyboard) ... (services (append (list (service dhcp-client-service-type) (service ntp-service-type) (service gpm-service-type) (service cups-service-type) (service elogind-service-type) (service sddm-service-type (sddm-configuration (display-server "wayland") (numlock "on") (theme "guix-simplyblack-sddm-theme") (xorg-configuration (keyboard-layout %this-keyboard) %base-services)) ... ) ``` Then, when I try to run `guix system reconfigure /etc/config.scm`, I get this backtrace: root@udu ~# > Backtrace: > 19 (primitive-load "/root/.config/guix/current/bin/guix") > In guix/ui.scm: >2229:7 18 (run-guix . _) > 2192:10 17 (run-guix-command _ . _) > In ice-9/boot-9.scm: > 1752:10 16 (with-exception-handler _ _ #:unwind? _ # _) > In guix/status.scm: > 829:3 15 (_) > 809:4 14 (call-with-status-report _ _) > In guix/scripts/system.scm: >1256:4 13 (_) > In ice-9/boot-9.scm: > 1752:10 12 (with-exception-handler _ _ #:unwind? _ # _) > In guix/store.scm: >658:37 11 (thunk) >1320:8 10 (call-with-build-handler # …) > 2129:25 9 (run-with-store # …) > In guix/scripts/system.scm: > 827:2 8 (_ _) > 703:8 7 (_ #) > In gnu/system.scm: > 1227:19 6 (operating-system-derivation _) >748:11 5 (operating-system-services #< kernel:…>) >782:20 4 (services _) > In /etc/config.scm: >185:14 3 (services #< kernel: #) >185:14 2 (services #< name: "br" variant: "abnt…>) > In ice-9/boot-9.scm: > 1685:16 1 (raise-exception _ #:continuable? _) > 1685:16 0 (raise-exception _ #:continuable? _) > > ice-9/boot-9.scm:1685:16: In procedure raise-exception: > Wrong type to apply: #< name: "br" variant: "abnt2" model: #f options: ()> ## Conclusion: Two things tell me that the problem is really in the keyboard configuration within the configuration of the sddm service: * When I remove the `xorg-configuration` from the `sddm-configuration`, the reconfiguration returns no error, and the sddm service works normally. * And in this setup, the keyboard works on the console, just not on the desktop environment. Best regards, And thank you. Cassio
Tip: Bose Wireless Headsets work great with its proprietary USB dongle
I wish I knew this... For years I tried and gave up on substandard bluetooth headsets on Linux including Guix OS - if you happen to own a Bose headset - search for its USB dongle - it works great! I tried my NC700 with the dongle yesterday in a Zoom meeting from Guix OS and it worked flawlessly! -Yasu
Guix OS + Wayland + Gnome Questions
Hello!
I run Wayland + Gnome on my Guix OS. (See attached files for detailed
configuration)
Q1. How do I Lock Screen?
Q2. How do I take Screenshots?
Q3. Should I not bother with Wayland and use X11 (or whatever that's
called that is the default)? I started to use Wayland because there
was significant lag in repeated (that happens automatically when a key
is pressed for a few seconds) keystrokes in terminal applications.
Many thanks in advance!
-Yasu
Generation 1023 Jan 29 2022 10:24:12(current)
low-standard-guix 8ef3fc7
repository URL: https://github.com/yugawara/low-standard-guix.git
branch: master
commit: 8ef3fc77429429fc90de1e7112d394343eafbf35
nonguix d88b85a
repository URL: https://gitlab.com/nonguix/nonguix
branch: master
commit: d88b85aeb22c60dd2ed702a9fad740da8f351dc5
guix f15ca33
repository URL: https://github.com/guix-mirror/guix.git
branch: master
commit: f15ca337bec89f238b9b9ced08c2e02c35629a33
pantherx a38f36f
repository URL: https://channels.pantherx.org/git/pantherx-extra.git
branch: rolling
commit: a38f36f864a50ed006b61a4b3e581fc2d735f828
nongnu f8a6a35
repository URL: https://channels.pantherx.org/git/nongnu.git
branch: rolling
commit: f8a6a35e695ed89098fdd4f02fe65352d8ac
(use-modules
(gnu)
(gnu system nss)
(gnu services sddm)
(srfi srfi-1)
(nongnu packages linux)
(nongnu system linux-initrd)
)
(use-service-modules networking ssh)
(use-service-modules desktop xorg)
(use-package-modules certs gnome)
(use-service-modules nix)
(use-package-modules package-management)
(operating-system
(kernel linux)
(initrd microcode-initrd)
(firmware (list linux-firmware))
(host-name "guix")
(timezone "Asia/Tokyo")
(locale "en_US.utf8")
(sudoers-file
(plain-file "sudoers"
(string-append (plain-file-content %sudoers-specification)
"yasu ALL = NOPASSWD: ALL\n")))
(keyboard-layout (keyboard-layout "us"))
(bootloader (bootloader-configuration
(bootloader grub-efi-bootloader)
(targets (list "/boot/efi"))
(keyboard-layout keyboard-layout)))
(file-systems (append
(list (file-system
(device (file-system-label "my-root"))
(mount-point "/")
(type "ext4")
)
(file-system
(device (uuid "C2D0-0B91" 'fat))
(mount-point "/boot/efi")
(type "vfat")))
%base-file-systems))
(swap-devices (list
(swap-space
(priority 50)
(target "/dev/nvme0n1p3"
(users (cons (user-account
(name "yasu")
(comment "yasu")
(group "users")
(supplementary-groups '("wheel" "netdev"
"audio" "video")))
%base-user-accounts))
(packages (append (list
;;nix
;; for HTTPS access
nss-certs
;; for user mounts
gvfs)
%base-packages))
(services (cons*
(service openssh-service-type
(openssh-configuration
(x11-forwarding? #t)
(permit-root-login 'prohibit-password)
(password-authentication? #f)
(authorized-keys
`(("yasu" ,
(local-file "/home/yasu/.ssh/id_rsa.pub") ,
(local-file "iphone-yasu.pub")
)
(service gnome-desktop-service-type)
;(service mate-desktop-service-type)
;(service xfce-desktop-service-type)
(service sddm-service-type
(sddm-configuration
(display-server "wayland")
(remember-last-user? #t)
))
;(service nix-service-type)
(modify-services
(remove (lambda (service)
(member (service-kind service)
(list gdm-service-type)))
%desktop-services) ;end of remove lambda services
) ;;end of modify-services
)) ;;end of services
;; Allow resolution of '.local' host names with mDNS.
(name-service-switch %mdns-host-lookup-nss))
Re: Jitsi Meet Screen Sharing with Ungoogled-Chromium
Thank you much for your replies and I believe Jacob was just making a joke and I am in no way offended! But thank you Ricardo I hope this bug gets fixed! PS For various issues of conviction, of which Free Software is one, I believe we need to have open playful attitudes to the opposition (e.g. people who don't give a damn about software freedom) a, if only to have more effective strategies by understanding them. I was just watching this this morning https://youtu.be/Blz_Eu00Kbw -Yasu > On Jan 17, 2022, at 08:35, Ricardo Wurmus wrote: > > > Jacob Hrbek writes: > >> [[PGP Signed Part:Undecided]] >>> Third party not a guix package >> >> Those are not supported by GNU Guix and will be met with hostility, >> because how dare you unfree scum! > > Jacob, this style of communication is not acceptable on this mailing > list. > > It is also not true. > > -- > Ricardo >
Jitsi Meet Screen Sharing with Ungoogled-Chromium
Is there anyone here who uses Jitsi Meet to share screens from Guix? Let me know! At least in version 90 of chromium (third party, not a guix package), it used to work. With the current ungoogled-chromium on Guix, the moment someone else connects to the Jitsi session, ungooogled-chromium dies with an 'aw, snap' message. -Yasu
Any LibreOffice Base user?
Hi, Who here uses LibreOffice Base? Let me know! I tried to use it just now from my Guix but it seemed only half working... Cheers, Yasu
Re: how to use Proof General?
Hi! I did this just last night so let me tell you what I did. I installed using guix install command emacs, coq and proof-general but in the end I probably could not observe that proof-general was working from the Guix installation so I followed the standard installation instruction on Proof General homepage , which is an instruction of how to do so with MELPA. I didn't spend much time examining whether proof-genetal from Guix was working or not... -Yasu > On Sep 27, 2021, at 10:07, raingloom wrote: > > Hi! > > I'm trying to use Proof General with Emacs, but so far I couldn't > figure out a way to launch it. Running guix environment `--ad-hoc > proof-general emacs coq emacs-company-coq -- emacs scratchpad.v` > results in Verilog mode being started and when I try to manually launch > coq-mode with M-x, it's not even there. > > I'm running packages from a few days ago. > > Given how many Coq packages we have, I assume someone is in fact using > them. Or that at least they worked at some point. > > Am I missing something obvious? I'm not exactly an Emacs or Coq expert, > but so far I haven't had trouble with Emacs modules in ad-hoc > environments and I managed to run Coq IDE before. > Or is there a bug in how proof-general is packaged? >
Re: Two more computers unable to start X with GDM
I read a little bit about the current state of video cards, etc - man this seems like an uphill battle Basically no manufacture sympathizes with the concept of total transparency. I was just thinking what the practical end-game of this might be - do you think at some point there will be an FPGA+power+various I/O ports kit that can be totally programmed to provide CPU and video acceleration? Something like that might be the only way to end this nonsense Then the battle will be proprietary vs free software rather than hardware. But then again, I don't know what kind of nasty patents there might be... -Yasu > On Mar 28, 2021, at 03:25, Leo Famulari wrote: > > On Sat, Mar 27, 2021 at 10:14:05AM -0400, Bone Baboon wrote: >> X server worked fine with this NVIDIA GeForce FX 5200 GPU when Debian >> was installed on this computer. It also looks like Debian uses a >> deblobbed kernal based on this Wikipedia article. >> https://en.wikipedia.org/wiki/Binary_blob > > The Guix kernel (linux-libre) and the Debian kernel (Linux) have > different hardware support and, in general, Linux supports more hardware > than linux-libre. >
Re: Two more computers unable to start X with GDM
My apologies if this has been already tried but I personally always use regular Linux with black magic binary drivers unacceptable to plain Guix distribution. My AMD (both CPU and Graphics card) computer's visuals will freeze without the modification of the settings to avoid LibreLinux that comes standard with Guix. Recent AMD video cards appear to have out of the box native drivers built into the Linux Kernel - that's why replaced Nvidia with AMD . I have a stress-free graphics environment using Guix OS and Regular Linux. (There was text terminal latency issues with X11 so I use Wayland - it has its limitations and bugs but works better for me) -Yasu > On Mar 27, 2021, at 11:43, Joshua Branson wrote: > > Bone Baboon writes: > >> I am trying to get the X server working on a computer that has Guix >> installed. >> >> I was having trouble starting an X server on a computer and asked for >> help about it here: >> https://lists.gnu.org/archive/html/help-guix/2021-03/msg00197.html >> >> I decided to try to get an X server working on two other computers an >> x86_64 and a i686. I was not able to get an X server working on either >> of them. Below are the detail. >> >> i686 >> GPU: NVIDIA GeForce FX 5200 > > I'm guessing that the problem is the GPUs...but I would not know how to > help. Sorry for being so unhelpful. > >> x86_64 >> GPU: Intel Mobile 946GM/GMS/GME, 943/940GML Express > > I feel like the Intel GPUs should work though... > > > -- > Joshua Branson (joshuaBPMan in #guix) > Sent from Emacs and Gnus > https://gnucode.me > https://video.hardlimit.com/accounts/joshua_branson/video-channels > https://propernaming.org > "You can have whatever you want, as long as you help > enough other people get what they want." - Zig Ziglar >
Re: Mixed Languages Programming
I have just thought about dynamic "Rosetta Code" - some software that generates simple code for the target language, compiles it and tests the result. It might be useful to learn a new language. For example, in PowerShell, there is some awkward syntax for an array of array wherein : (,(1,2)) If the preceding comma is omitted, it will not be treated as an array of array. My idea is to write some simple code in the language one is familiar and let the program translate it to some other language, while using Guix to summon the necessary compiler for the target language > On Mar 14, 2021, at 10:30, raingloom wrote: > > On Thu, 11 Mar 2021 00:26:41 +0100 > Léo Le Bouter wrote: > >>> On Thu, 2021-03-11 at 08:23 +0900, Yasuaki Kudo wrote: >>> Hello! >> >> Hello! >> >> I think you can use JSON-RPC libraries as modern alternatives to that. >> Also gRPC. The "micro-service" paradigm. >> >>> Is this a topic that is particularly interesting to the Guix >>> community because of interoperability, mixing packages, etc? >> >> I don't think so, not in particular. >> >>> Cheers, >>> Yasu >> >> Léo > > There is an interesting Nix based project that has some actual good use > cases for a common intermediate representation: > https://publish.illinois.edu/allvm-project/ > > Chris Webber's talk on Spritely also had some good ideas for using OCAP > in Guix to enhance security by a whole lot. > https://fosdem.org/2021/schedule/event/spritelygoblins/ > And that is basically just cross-language remote procedure calls. > > Another interesting possibility is to run everything on WASM without an > MMU. See the classic The Birth and Death of Javascript talk. > https://www.destroyallsoftware.com/talks/the-birth-and-death-of-javascript > Of course that one is pre-Spectre/Meltdown, so take it with a grain of > salt.
Re: Mixed Languages Programming
Thank you both, It feels like using the web API as the interface between the languages would be the simplest. Guix might come in really handy if the web services are all running on the same Guix machine in which they can share the resources of the OS such as the file system. Then, using RAM-based or the real disk, different processes compiled in different languages can efficiently exchange data! That's something that Guix and Nix can do more easily than using Docker web services on other OSes? Yasu > On Mar 11, 2021, at 09:00, divoplade wrote: > > Hello, > >> Le jeudi 11 mars 2021 à 08:23 +0900, Yasuaki Kudo a écrit : >> Does anyone have an insight into mixing different programming >> language? Say Visual Basic, Java, Racket, Haskell, etc > > I am aware of 3 different kinds of approaches: > - writing programs in different languages, with one programming > language occupying a whole process (so, web services as you say, or > scripts, or an org-mode file, for instance); > - extending a "managed" programming language with C or C++ code; in > theory it could be possible to do the same for two different > programming languages and link both C interfaces together; this is what > SWIG (http://swig.org/) does, but using some language in another > language that way feels a lot like coding in C; > - using a common virtual machine as the target for the compilation of > many different languages (like elisp and scheme for guile). >
Mixed Languages Programming
Hello! Does anyone have an insight into mixing different programming language? Say Visual Basic, Java, Racket, Haskell, etc I thought one way would be to convert each program into web services but I wonder if there is a more intimate way - I heard of something called Corba long time ago and there is Microsoft's .NET and Java JVM? Is this a topic that is particularly interesting to the Guix community because of interoperability, mixing packages, etc? Cheers, Yasu
Re: Anyone using Nix on Guix System?
Thank you, let me try this! I will report later! > On Jan 3, 2021, at 19:58, Pierre Neidhardt wrote: > > Hi! > > While I haven't used it in a few months, here is what I did to set it > up: > > --8<---cut here---start->8--- > (operating-system > (inherit %bababa/os) > (packages (cons* nix > ...)) > (services (cons* > (service nix-service-type) > ... > )) > ) > --8<---cut here---end--->8--- > > Then, as per the manual: > > --8<---cut here---start->8--- >• Add a Nix channel and update it. See Nix Package Manager > Guide (https://nixos.org/nix/manual/). > >• Create a symlink to your profile and activate Nix profile: > > $ ln -s "/nix/var/nix/profiles/per-user/$USER/profile" ~/.nix-profile > $ source /run/current-system/profile/etc/profile.d/nix.sh > --8<---cut here---end--->8--- > > Hope that helps! > > -- > Pierre Neidhardt > https://ambrevar.xyz/
Anyone using Nix on Guix System?
Happy New Year! I tried to use Nix on my Guix System by following instructions I found on the Internet (I added both nix package and nix service in my system configuration.scm file.) I then followed standard Nix installation instructions like adding a Nix channel, etc - only to find no package available after issuing nix-env -qa (I hope am correctly recalling...) If anyone has a working configuration for Nix on Guix System for daily use, would you please share? I thought using Nix on Guix System would be an excellent way to augment missing packages in Guix! Cheers, Yasi
RE: Racket (require gregor)
If no one is working on it or has any plan to do so, maybe I can volunteer in the future But I am still learning both Guix and Racket… (I am thinking of starting a “worker cooperative” that specializes in legacy enterprise software replacement projects. Both Guix and Racket will be important tools of trade I imagine ) -Yasu From: jgart Sent: Sunday, December 13, 2020 3:43 AM To: help-guix@gnu.org Subject: Re: Racket (require gregor) There is not a racket-build-system for guix yet, atleast to my knowledge. I see we just got a chicken-build-system though :). Is anyone working on a racket-build-system? December 12, 2020 12:01 PM, help-guix-requ...@gnu.org wrote: > Send Help-Guix mailing list submissions to > help-guix@gnu.org > > 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-requ...@gnu.org > > You can reach the person managing the list at > help-guix-ow...@gnu.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Help-Guix digest..." > > Today's Topics: > > 1. Re: Racket (require gregor) (yasu) > > -- > > Message: 1 > Date: Sat, 12 Dec 2020 17:52:02 +0900 > From: yasu > To: Tobias Geerinckx-Rice > Cc: help-guix@gnu.org > Subject: Re: Racket (require gregor) > Message-ID: > <93b54a78bcdf382d85d785dc8afc79a29ef968dc.ca...@yasuaki.com> > Content-Type: text/plain; charset="UTF-8" > > Thank you Tobias, it worked! > > I ended up modifying below section as shown: > > ~/.racket/7.9/pkgs/tzinfo/tzinfo/private$ nvim zoneinfo.rkt > > (define default-zoneinfo-search-path > > (list > (path->string > (build-path > (string-replace > (with-output-to-string > (lambda () > (system "guix build tzdata"))) "\n" "" ) > "share" "zoneinfo")) > "/usr/share/zoneinfo" > "/usr/share/lib/zoneinfo" > "/etc/zoneinfo")) > > But surely this is not the way to do it in Guix... > > I wonder if there is a proper Guix integration for Racket's raco > package manager? > > -Yasu > > On Fri, 2020-12-11 at 15:24 +0100, Tobias Geerinckx-Rice wrote: > >> Hi Yasu, >> >> Yasuaki Kudo 写道： >> Damn HTML doesn't work >> >> Yes. Please don't send HTML e-mail to mailing lists: most people >> don't like receiving it (e.g., sending me HTML mail is guaranteed >> to land you in my Spam bin) & you never know how your mail will >> appear to others. >> >> (Resending, my html email keeps failing... Is this mailing list >> automatically converting HTML messages to Plain Text or >> something??) >> >> Yes. We have enabled both ‘convert text/html parts to plain text’ >> and ‘collapse multipart/alternative to its first part content’. >> >> If there are users of >> Racket..., would you please try the same and see if it works for >> you? >> >> I get the same error, with the tzdata Racket (and Guix, just in >> case) package install. >> >> If I manually add $(guix build tzdata)/share/zoneinfo to >> pkgs/tzinfo/tzinfo/private/zoneinfo.rkt's >> default-zoneinfo-search-path, it works. >> >> However, I didn't notice a $TZDIR-like mechanism to do so >> ‘properly’. >> >> Kind regards, >> >> T G-R > > -- > > Subject: Digest Footer > > ___ > Help-Guix mailing list > Help-Guix@gnu.org > https://lists.gnu.org/mailman/listinfo/help-guix > > -- > > End of Help-Guix Digest, Vol 61, Issue 21 > *
Re: Racket (require gregor)
Damn HTML doesn't work My program is: #lang racket (require gregor) > On Dec 11, 2020, at 21:16, yasu wrote: > > (Resending, my html email keeps failing... Is this mailing list > automatically converting HTML messages to Plain Text or something??) > > > Hi! > > I am tring to use the gregor package using my Racket program: > > #lang racket(require gregor) > > > But it fails with fthe ollowing error: > > Unable to locate the zoneinfo database on this computer. We searched > for it in the following places: - /usr/share/zoneinfo - > /usr/share/lib/zoneinfo - /etc/zoneinfo > > There is a suggestion at: > https://lists.gnu.org/archive/html/help-guix/2018-08/msg00073.html > of installing tzdata. > > After installig it with: raco pkg install tzdata, > > It did not help (I still get exact same error). > > If there are users of > Racket..., would you please try the same and see if it works for you? > > Cheers, > Yasu > >
Re: Where are suggestions or open discussions of Guix at large made?
Hi, Of course, I agree with everything that's said here. That's exactly why I am excited about Guix! I think it has a sound mechanism to fine-tune the degree of impurity one wishes to accept. What I was thinking was maybe more organizational - is someone coming up to form a group or something that provides for a compromised (in-terms of accountability and license) yet convenient environment, akin to Ubuntu, using the fine mechanisms mentioned here? It looks like Guix is creating a ripe environment for a service provider to do these things Cheers, Yasu > On Dec 8, 2020, at 09:51, zimoun wrote: > Hi, > >> On Mon, 07 Dec 2020 at 22:55, zna...@disroot.org wrote: >> Guix repeats the idea of Nix, but realising it more preciously and >> elegantly. > > The word “repeat” is incorrect here. It is more appropriated to say: > Guix is based on the idea of Nix or Guix applies similar ideas pioneered > by Nix. > > The divergence is clear enough since the very beginning to not repeat > the confusing / wrong: “Guix is a fork of Nix implemented in Scheme”. > >> It is hard to package some software you like for Guix, > > It depends on how much Love are we ready to put in? :-) > >> but forking guix breaking its elegance for just to install firmware, >> Oracle, Chrome and other stuff is not rational at all, i think. > > The concept of channels avoids to fork and instead allow to extend. It > is possible to extend by adding packages, as the channel guix-past for > instance, or by adding subcommands, as the channel home-manager > illustrates for example. > > >> If you want popular comfortable OS on your home computer, that is not >> idea of Guix. > > Popular is meaningless here. Comfortable, if not then I feel I am > failing and so please point your unpleasant experience and then let’s > see how to fix it. :-) > > > All the best, > simon
Where are suggestions or open discussions of Guix at large made?
Hello! I wonder which mailing list (or anything else) is the best for open-ended Guix discussions. I think Guix has a huge potential and it a needs a downgraded version (akin to how Ubuntu makes a worse version of Debian) so that more people can use it. As it stands, by default, Guix doesn't have: * Regular, unpatched Linux with unaccountable black magic firmware code * Polluted web browsers like Google Chrome * Visual Studio Code that probably has similar issues as Google Chrome? * and on and on... The first is one of the most serious problems because computers with AMD graphics cards won't even boot without it? (The installer may, but once installed, it seems to halt during boot, even when desktop services are turned off?) I have heard of PantherX but I wonder if anyone is thinking about "vernacular" dirty Guix-derivative with all sorts of horrible compromises... Cheers, Yasu
Welcome to Grub!... for a minute
Hi, I just wanted to report (although this is probably already known) that I had to wait for a long time (probably more than a minute) staring at "Welcome to Grub!" screen upon reboot, after accumulating thousands of guix system generations. I was experimenting with something and I suspected that was the cause - sure enough, after deleting them all with guix system delete-generations command, the delay disappeared. Just reporting
Re: Can Guix support Zen 2/AMD Ryzen?
Hi,
Not that I have any solution (sorry...) but a similar blackout happened when I
removed the regular linux kernel (using nonguix channel) and tried the native
Libre kernel for Guix, some months ago. I immediately went back to the
original Linux...
My PC has both Ryzen CPU and AMD video card.
Cheers,
Yasu
> On Nov 24, 2020, at 11:32, jbra...@dismail.de wrote:
>
> I am kind of shooting from the hip here, others may be more knowledgeable
> than me, but here is my two cents.
>
> As a general rule, any "brand new hardware" (except server grade hardware and
> Intel hardware) generally needs 3-6+ months before it has good Linux support.
> So you may run into issues using the latest and greatest thing.
>
> If you want a good GPU, then you might check out this:
> https://www.phoronix.com/scan.php?page=news_item=Nouveau-K2020-Low-End-Card
>It's a $50 graphics card that works with the libre nvidia driver
> (nouveau). I think you have to manually set the clock frequency though...All
> AMD graphics cards are virtually useless on the Linux libre kernel. AMD has
> proprietary firmware, which Linux libre disables. Nvidia is as bad. I think
> the integrated graphics from Intel works fairly well with Linux libre.
>
> I've also run into that booting issue. I think there is a way to disable
> fancy graphics rendering during the installer, which is what I had to do, to
> get guix to run on my AMD APU a few years ago. Maybe someone here can point
> out how to do that, because I'm blanking on the specifics.
>
> If you are trying to game on Linux libre, you will probably run into some
> issues. :(
>
> November 23, 2020 4:38 PM, "Jesse Gibbons" wrote:
>
>> Hi guix,
>> I built a guix image for a hardware enthusiast friend to try on his
>> computers, in part to see how
>> well/completely his more modern hardware would run guix and if it would be
>> worth commissioning him
>> to build me a computer. It successfully booted, but the screens turned blank
>> and didn't show gdm.
>> My friend tried this twice, and the same thing happened. He tried
>> ctrl+alt+f{1..6} and didn't see
>> anything (though he has a weird keyboard that requires him to hold a
>> modifier key to enter any
>> function key). He suggested it might be because his computer has a Ryzen CPU
>> with the Zen 2
>> Architecture, which he knows might need to work around. Since it booted
>> fine, I think it might be
>> more related to his Nvidia GPU. Is there anything I can do, without
>> resorting to proprietary
>> solutions, to make a guix image with a desktop at least displays with his
>> hardware?
>> -Jesse
>
Re: Eternal Terminal Server?
Hi Joshua, Thank you, yes, my feeling is of course I would love to work on that but at the moment I am spending all the time I can find to learn Racket for my current project assignment at a software contractor in Japan. (And I really love this project which involves source-to-source conversion - Racket is amazing!!) So if someone else can work on it it would be great, but when I am done with my Racket project and if no one has done it yet, maybe we can work on it? Cheers, Yasu > On Nov 11, 2020, at 16:50, Joshua Branson wrote: > > > Hey yasu, > > I've never actually heard of eternal terminal, but that sounds pretty > awesome! haha! > > If those guix packages are only for clients, then it sounds like we need > to create a package for the server stuff, and also create a service for > it. > > Would you care to work on that? I can probably give you encouragement > going forward, but probably not much developmental guidance. :) > > -- > Joshua Branson > Sent from Emacs and Gnus > https://gnucode.me > https://video.hardlimit.com/accounts/joshua_branson/video-channels > "You can have whatever you want, as long as you help enough other people get > what they want." - Zig Ziglar
Re: Guix Bluetooth Headset
I totally agree - while diverging a little from my original bluetooth question, it seems that we need to have an "unofficial" "Guix-Compromised" downstream distribution. The frustrating thing is that with the zero-tolerance attitude of Guix project (while well-meaning and I applaud such high standards), it is difficult to even discuss such things as tactical abandonment of libre-software purity in order dramatically improve the actual end-user experience. We only effectively discuss delivering the best possible user-experience (while ignoring the ethical questions) when we can employ all possible means including using bad software form companies we dislike. Having said that, I think the Guix' stance is actually very defendable and we would be barking up the wrong tree to complain to the Guix team. This is why I think we need a proper downstream distribution of Guix with the goal of delivering the best Linux experience albeit with perhaps degraded software purity. -Yasu > On Sep 26, 2020, at 21:03, Ekaitz Zarraga wrote: > > Hi all, > > I'm a full-time Guix user but I don't really think I have average > requirements for my computing. > > I tried to connect to a bluetooth speaker once, there's a thread in the > mailing lists about it... I didn't manage to do it. > > I tried through Gnome first, and it literally doesn't show any Bluetooth > device. I was able to use some bluetooth controllers like Bluez or so and I > managed to pair the device (and Gnome still didn't recognize the bluetooth > but did recognize the pairing, amazing stuff), but I didn't manage to make > the music sound through it. > > I'd like to help more but this is what I got. > > This is the kind of things that are discouraging. Guix is a good thing but > the user experience is sometimes plainly horrible, for stuff that should be > simple. > >> I am curious how many people actually use Guix for the user-facing computers >> - do people use Ubuntu something and use Guix as a mere package manager or >> install Guix on a headless (virtual) computer and remotely use it? > > I am curious too, because I only use Guix for the only computer I own, but > I'm not sure if it could be reasonable for anyone else, mostly because > sometimes Guix users are supposed to know too much about internal software > layers and there's no help about those times where you don't know enough. > > This bluetooth case is very accurate case to explain this kind of situation. > Sound has a very weird software stack, if you combine it with bluetooth > everything gets complicated. If you don't know about it you are in trouble. > > Sorry for the depressing thoughts, but this is how I feel. > > I hope you find your way to make it work and share it. > > Best, > Ekaitz > > > ‐‐‐ Original Message ‐‐‐ >> On Friday, September 25, 2020 4:16 PM, Yasuaki Kudo wrote: >> >> Hi Joshua, >> >> My bluetooth USB device itself seems to be recognized by the kernel but >> there is this whole layers of software I don't understand - (when I used to >> use NixOS on the same hardware, it worked - I think it was a combination of >> something called PulseAudi and Bluetooth) >> >> So I just want to know whether someone actually has a working configuration >> I can just copy. >> >> I am curious how many people actually use Guix for the user-facing computers >> - do people use Ubuntu something and use Guix as a mere package manager or >> install Guix on a headless (virtual) computer and remotely use it? >> >> Cheers, >> Yasu >> >>>> On Sep 25, 2020, at 21:53, Joshua Branson jbra...@dismail.de wrote: >>> Have you tried looking at h-node.org? >>> That will give you some hints at what hardware works well with >>> GNU/Linux. >>> I personally have a RIG headset with integrated microphone. It was a >>> bit of an impulse buy. It doesn't use bluetooth. It has one chord. I >>> can use it to record my voice, or listen to music. But I can't seem to >>> do both at the same time with it. :( >>> Thanks, >>> Joshua >>> -- >>> Joshua Branson >>> Sent from Emacs and Gnus >>> https://gnucode.me > >
Re: Guix Bluetooth Headset
Hi Joshua, My bluetooth USB device itself seems to be recognized by the kernel but there is this whole layers of software I don't understand - (when I used to use NixOS on the same hardware, it worked - I think it was a combination of something called PulseAudi and Bluetooth) So I just want to know whether someone actually has a working configuration I can just copy. I am curious how many people actually use Guix for the user-facing computers - do people use Ubuntu something and use Guix as a mere package manager or install Guix on a headless (virtual) computer and remotely use it? Cheers, Yasu > On Sep 25, 2020, at 21:53, Joshua Branson wrote: > > > Have you tried looking at h-node.org? > > That will give you some hints at what hardware works well with > GNU/Linux. > > I personally have a RIG headset with integrated microphone. It was a > bit of an impulse buy. It doesn't use bluetooth. It has one chord. I > can use it to record my voice, or listen to music. But I can't seem to > do both at the same time with it. :( > > Thanks, > > Joshua > > -- > Joshua Branson > Sent from Emacs and Gnus > https://gnucode.me
Re: How do I install neovim plugins?
Hi John, Ah I see let me try this as well! I need to do some gardening right now but will try after that Yasu > On Sep 20, 2020, at 09:17, John Soo wrote: > > Hello Yasu, > > I use a manifest file and guix-package -m to do declarative installations. > > I find it strikes a nice balance between having to rebuild for every > configuration change and making my environment declarative. > > Good luck! > > - John
Re: How do I install neovim plugins?
Well perhaps I will try your home manager and we can even improve it
I want to spend some time learning Guix - I think highly
composable/customizable software is what many organizations desire and is the
area that is underserved - because many software vendors are not interested,
half-interested with ulterior motives, or outright against it
GNU Guix seems to address both philosophical and technological shortcomings of
our society.
> On Sep 20, 2020, at 08:41, Julien Lepiller wrote:
>
>
>
> Le 19 septembre 2020 19:18:14 GMT-04:00, y...@yasuaki.com a écrit :
>> Hi Julien,
>>
>> Thank you for the pointer, here is what I did to make it work:
>>
>> set runtimepath+=/home/yasu/.guix-profile/share/vim/vimfiles
>>
>> The plugin and neovim were installed as below:
>>
>> guix package --install=vim-airline
>> guix package --install=nvim
>
> Great! Glad I could help :)
>
>>
>> But this seems rather "imperative" and is not what I expected to do,
>> after spending many weeks trying home-manager from NixOS :-)
>>
>> excerpt from .config/nixpkgs/home.nix
>> ...
>> programs.neovim = {
>>enable = true;
>>plugins = [
>> pkgs.vimPlugins.vim-airline
>> pkgs.vimPlugins.vim-nix
>>];
>> ...
>>
>> In the Nix world, I think people were not seeing much point of:
>>
>>nix-env -i
>>
>> which seems to be their equivalent of:
>>
>> guix package --install=
>>
>> As an alternative, 'home-manger' seemed popular.
>>
>> Would you say the same for Guix as well?
>
> I agree, this is very imperative, but since we don't have an equivalent of
> the home manager (except for my channel which is not very popular because I
> don't recommend it for everyday use), this the kind of thing we usually do.
>
> Actually, the most popular in guix is rather to set some *PATH environment
> variable, sometimes even patching the software to honor them. But we don't
> have any for neovim.
>
> The equivalent of your home.nix example would be:
>
> (user-home
> neovim-home-type
> (neovim-confiquration
>(plugins (list neovim-airline neovim-nix
>
> (Assuming we actually have these packages)
>
> The guix home manager follows the spirit of functionnal management closer
> than the nix home manager, because itqmakes your entire home a symlink to a
> store path, whereas nix home only overwrites some files that can later be
> modified imperatively (by you or a software). That makes it harder to use and
> breaks many software, but is much more satisfying :)
>
>>
>> -Yasu
>>
>>
>>
>>> On 19.09.2020 23:40, Julien Lepiller wrote:
>>> If you install plugins in your profile, you can add:
>>>
>>> set runpath+=/home/user/.guix-profile/share/nvim/site
>>>
>>> In your .config/nvem/init.vim
>>>
>>> I also have a guix-home-manager at
>>> https://framagit.org/tyreunom/guix-home-manager but it's more
>>> involved.
>>>
>>> Le 19 septembre 2020 10:04:45 GMT-04:00, Yasuaki Kudo
>>> a écrit :
>>>
>>>> I see some vim plugin packages for guix but I have no idea how I
>>>> enable them in the neovim (nvim) that I installed in Guix.
>>>>
>>>> In NixOS I just used "home manager" and modified some existing
>>>> template I found to add more plugins.
How do I install neovim plugins?
I see some vim plugin packages for guix but I have no idea how I enable them in the neovim (nvim) that I installed in Guix. In NixOS I just used "home manager" and modified some existing template I found to add more plugins.
How do I enable "Eternal Terminal"?
Is it possible to run Eternal Terminal service on Guix?
Re: Please recommend zero-hassle video card for GUIX
Thank you Efraim and Raghav but I forgot to mention that I need decent web browser experience of dual 60hz 4K (HDMI). While the reviews on amazon.jp do confirm Linux friendliness but they say it is way too slow for that, even with hardware acceleration enabled... > On Sep 18, 2020, at 04:54, Efraim Flashner wrote: > > On Thu, Sep 17, 2020 at 12:53:50PM +, Raghav Gururajan wrote: >> Hello Yasuaki Kudo! >> >> AFAIK, there is only one that is both free-software and AMD chip-set >> compatible. It's GeForce GT 710. >> >> Regards, >> RG. >> > > I can confirm the GeForce GT 710 works. I picked one up after I broke > the VGA port on my motherboard. > > -- > Efraim Flashner אפרים פלשנר > GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 > Confidentiality cannot be guaranteed on emails sent or received unencrypted
Please recommend zero-hassle video card for GUIX
Hi, As per the subject-line, what is the very best video chip/card for GUIX? My criteria: • I use AMD Ryzen 5 CPU (The chip has no integrated video feature enabled) • I currently use NVIDIA with proprietary driver support provided by corresponding NixOS packages but now I am considering switching from NixOS to Guix – so I prefer to have a video card that runs natively without proprietary driver enabling gimmick. • The video card should behave normally – there should be no performance degradation in 2D/3D/video, etc. Cheers, Yasu
Show and Tell for Nix and Guix?
Hi, I am thinking of hosting a digital workshop next week as below. Come to think of it, my video conference platform (BigBlueButton) has a breakout feature. So we can easily accommodate Guix! Is anyone from Guix community interested? https://discourse.nixos.org/t/is-there-any-regular-casual-nixos-online-meeting/7806/15 Nix/NixOS(/Guix??) Show & Tell Free for all discussion of Nix/NixOS or whatever that matters to participants 21:00JST on Tuesday, July 7 14:00CEST on Tuesday, July 7 08:00EDT on Tuesday, July 7 I have a BigBlueButton video conference room we can use for this Cheers, Yasu Yugawara, Japan
Re: Installer restarts after choosing to partition the disk
Hi Simen, Sorry not a direct answer but I also report this exact problem recently in this mailing list -Yasu > On Jul 1, 2020, at 04:54, Simen Endsjø wrote: > > > Hi, I've been running Guix in a VM on my laptop, and wanted to install it > directly on my desktop. Using the guided installer, I get to the point where I > choose to partition the disk, and choose the recommended setup. Within a few > seconds, I'm sent to the start of the installer again. If I follow through, I > get to the choose disk window, but my disk isn't listed anymore. > > Rebooting puts me into the same state as before. > > Any idea what's going on? And how I can get some more information about what's > failing? >
Can Nix and Guix share the same protocols?
Hi, I’m not sure if this is the best mailing list for this question… Do you think it’s possible to create a protocol that Nix and Guix can share? I can see many benefits of abstracting the important protocols out of these systems. Benefits: • Improved documentation • Richer availability of packages • Offers choice according to taste (Vi vs Emacs?) • May lead to services that are offered for both package managers Cheers, Yasu
