Re: Please recommend zero-hassle video card for GUIX

2020-09-24 Thread yasu
om the old! - It does't freeze like every 30 minutes anymore... - It works like any other normal computer! (Great 2D/3D/video performance!) Cheers, Yasu yasu@guix ~$ guix system describe Generation 16 Sep 24 2020 20:27:04(current) file name: /var/guix/profiles/system-16-link canonical

Re: Please recommend zero-hassle video card for GUIX

2020-09-24 Thread yasu
om the old! - It does't freeze like every 30 minutes anymore... - It works like any other normal computer! (Great 2D/3D/video performance!) Cheers, Yasu yasu@guix ~$ guix system describe Generation 16 Sep 24 2020 20:27:04(current) file name: /var/guix/profiles/system-16-link canonical file n

Guix Bluetooth Headset

2020-09-25 Thread yasu
Hi, Does anyone use Bluetooth Headset (say Bose NC 700) with Guix? Please post the required configuration! :-) Cheers, Yasu

Re: How do I install neovim plugins?

2020-09-19 Thread yasu
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 But this seems rather "imper

Working Configuration for Wayland Auto-Login?

2020-12-25 Thread yasu
Hi! Does anyone have a working example configuration that enables Wayland Auto-Login? I tried to use: (auto-login-user "yasu") (auto-login-session "gnome.desktop") by guessing from the description at: https://guix.gnu.org/manual/en/html_node/X-Window.html But whenever

guix system reconfigure won't run since commit 6a060ff27ff68384d7c90076baa36c349fff689d

2020-12-17 Thread yasu
Hi, On my system, guix system reconfigure stopped running since commit: 6a060ff27ff68384d7c90076baa36c349fff689d. The last good commit was its parent: dea1ee1fd740248307f74ca4cb70b94742264098 Regards, Yasu ~$ sudo guix system reconfigure ~/config.scm The following derivations will be built

Re: Racket (require gregor)

2020-12-12 Thread yasu
n 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 mailin

Racket (require gregor)

2020-12-11 Thread yasu
if it works for you? Cheers, Yasu

Re: Racket (require gregor)

2020-12-11 Thread yasu
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

Eternal Terminal Server?

2020-11-08 Thread yasu
ttps://github.com/MisterTea/EternalTCP;) (commit (string- append "et-v" version (file-name (git-file-name name version)) (sha256(base32 "1m5caxckn2ihwp9s2pbyh5amxlpwr7yc54q8s0kb10fr52w2vfnm"... Cheers, Yasu

Bug? Haskell GHC wont' work since ghc@8.6?

2021-01-10 Thread yasu
n '-no-pie' `gcc' failed in phase `C Compiler'. (Exit code: 1) Cheers, Yasu

Re: Bug? Haskell GHC wont' work since ghc@8.6?

2021-01-10 Thread yasu
(master *)$ ghc --versionThe Glorious Glasgow Haskell Compilation System, version 8.8.3 Cheers, Yasu On Sun, 2021-01-10 at 21:49 -0800, John Soo wrote: > Hi yasu, > Compiling with ghc requires a c toolchain (like gcc-toolchain) > installed to work. Can you try again after installing gcc-

Re: Bug? Haskell GHC wont' work since ghc@8.6?

2021-01-10 Thread yasu
this after: guix install ghc Might do. Lots of ideas :-) Cheers, yasu On Sun, 2021-01-10 at 22:18 -0800, John Soo wrote: > Hi yasu, > > This question comes up on the mailing list every so often, but I > don’t think it is a bug. I want to be able to choose the c toolchain > ghc

Bug? coqide missing? (in package coq, version 8.11.2)

2021-03-20 Thread yasu
~$ ls /gnu/store/zns66i9iacpkya3mabvygykir5xwl5c4-coq-8.11.2-ide/bin coqide The fact that this coqide is not brought to user profile - is this a bug?  -Yasu

Re: Bug? coqide missing? (in package coq, version 8.11.2)

2021-03-20 Thread yasu
kage names and suggest a way to install an existing package that matches. I imagine something like: > coqide * The command coqide is provided by coq:ide. To install it, run: guix install coq:ide > :-) Yasu On Sat, 2021-03-20 at 06:48 -0400, Julien Lepiller wrote: > Hi Yasu, >

"Live Sharing" on VSCodium

2021-12-16 Thread yasu
If anyone here uses the Microsoft's "Live Share" feature of VSCodium, please let me know how you did it! I can't figure it out... https://docs.microsoft.com/en-us/visualstudio/liveshare/reference/linux#install-linux-prerequisites Cheers, Yasu

Re: "Live Sharing" on VSCodium

2021-12-16 Thread yasu
.com/en-us/visualstudio/liveshare/reference/linux#install-linux-prerequisites Cheers, Yasu

nvme0n1p1 (NVME/M2/SSD) boot device recovery

2022-05-21 Thread yasu
OFF of LAN from Bios Settings screen, updating to the latest BIOS, etc, - none of it worked.   So I am using a USB3.0 Ethernet Adaptor right now. I hope this memo will be of use to someone in the future! -Yasu

Re: Anyone using Guix + Gnome + Japanese-Input, please let me know!

2022-06-01 Thread yasu
xplanation... Maybe some kind of automatic end-user testing is what we need? If there is a set of UI tests I can run frequently, that would be great! -Yasu On Tue, 2022-05-31 at 08:22 -0400, Dominic Martinez wrote: > > yasu writes: > > > It must has been a while since I last

Re: Installation: Load non-free wifi firmware (iwlwifi)

2022-05-11 Thread yasu
you something personally! -Yasu On Wed, 2022-05-11 at 12:19 +, 白い熊 wrote: > Clément Lassieur writes: > > > Guix allows one to customize their packages through inheritance.  > > You > > could create a custom linux package that inherits Guix's linux- > > lib