~yoctocell

https://n.ethz.ch/~xingchen

~yoctocell/git-email-devel

Last active 29 days ago

~yoctocell/misc

Last active 3 years ago

~yoctocell/guile-sourcehut

Last active 3 years ago

~yoctocell/notmuch-groups

Last active 3 years ago

~yoctocell/peertube

Last active 3 years ago
View more

Recent activity

[RFC PATCH] guix: Add ability to convert "dotfiles" to home services. 3 years ago

From Xinglu Chen to ~abcdw/rde-devel

* guix/home-services-import.scm: New file.
* guix/scripts/home.scm (manifest->code): Generate <home-environment>
that contains home services.
(home-environment-template): Add ‘services’ keyword argument.
---
This will automatically generate the ‘services’ field in the
‘home-environment’ record and generate the appropriate service
configurations based on dotfiles found in ~/.  It will also
automatically import the needed modules for the services, so the user
doesn’t have to go hunt for the correct to import.

For now, only Bash is supported; more services will hopefully come in
the future.  :)
[message trimmed]

Re: [PATCH] gnu: home-services: video: Add Mpv service. 3 years ago

From Xinglu Chen to ~abcdw/rde-devel

On Tue, Jun 29 2021, Andrew Tropin wrote:

>>> I've not looked at the related source code deeply, but why we don't use
>>> (map configuration->documentation '(home-mpv-configuration mpv-profile))
>>> instead of:
>>
>> By just using ‘configuration->documentation’ we cannot express the
>> hierachy (see the docs for ‘getmail-configuration’ to get a better
>> idea):
>>
>>   home-mpv-configuration
>>     mpv-profile
>>
>> everything gets displayed in a flat list like this:

Re: [PATCH] gnu: home-services: video: Add Mpv service. 3 years ago

From Xinglu Chen to ~abcdw/rde-devel

On Mon, Jun 28 2021, Andrew Tropin wrote:

>> +(define (mpv-files-service config)
>> +  `(("config/mpv/mpv.conf"
>> +     ,(mixed-text-file
>> +       "mpv-config"
>
> I think more consistent naming will be "mpv-mpv.conf".
> config/git/config -> "git-config"
> config/sway/config -> "sway-config"
> config/xmonad/xmonad.hs -> "xmonad-xmonad.hs"

Ah, that does make sense.

[PATCH] gnu: home-services: video: Add Mpv service. 3 years ago

From Xinglu Chen to ~abcdw/rde-devel

* gnu/home-services/video: New file.
---
 gnu/home-services/video.scm | 130 ++++++++++++++++++++++++++++++++++++
 1 file changed, 130 insertions(+)
 create mode 100644 gnu/home-services/video.scm

diff --git a/gnu/home-services/video.scm b/gnu/home-services/video.scm
new file mode 100644
index 0000000..0c6f8cf
--- /dev/null
+++ b/gnu/home-services/video.scm
@@ -0,0 +1,130 @@
(define-module (gnu home-services video)
  #:use-module (gnu home-services files)
[message trimmed]

[PATCH] gnu: home-services: state: Add support for Hg repos. 3 years ago

From Xinglu Chen to ~abcdw/rde-devel

* gnu/home-services/state.scm (state-hg): New procedure.
* gnu/home-services/version-control.scm: Export ‘serialize-hg-config’.
---
The state services probably need a refactor, I think you mentioned that
specific state services should be put into other modules, e.g. (gnu
home-services version-control) for ‘state-git’ and ‘state-hg’.

 gnu/home-services/state.scm           | 23 +++++++++++++++++++++++
 gnu/home-services/version-control.scm |  1 +
 2 files changed, 24 insertions(+)

diff --git a/gnu/home-services/state.scm b/gnu/home-services/state.scm
index 1c3b901..6c1a762 100644
--- a/gnu/home-services/state.scm
[message trimmed]

Re: [PATCH] gnu: home-services: mail: Improve serialization for Isync service. 3 years ago

From Xinglu Chen to ~abcdw/rde-devel

On Thu, Jun 24 2021, Andrew Tropin wrote:

>> Yeah, I am leaning more towards option 4, which defines a hierarchy and
>> treats keys and values differently.
>
> Yep, probably option 4 make sense.  I will keep current serialization as
> it is for now and will come back to it later.  I need to revisit guix
> home service guidlines and move it to manual first.

Yeah, having an official guideline for writing services would be great.
We might also want to add a ‘Migrating to Guix Home’ section in the manual.

Re: [PATCH] gnu: home-services: mail: Improve serialization for Isync service. 3 years ago

From Xinglu Chen to ~abcdw/rde-devel

On Tue, Jun 22 2021, Andrew Tropin wrote:

> Xinglu Chen <public@yoctocell.xyz> writes:
>
>> On Mon, Jun 21 2021, Andrew Tropin wrote:
>>
>>>> I don’t see why one would use symbols for some of the values and strings
>>>> for others.  Just using strings makes more sense to me.
>>>
>>> Person uses symbols for everything, after that he realizes that one of
>>> remote folders contains spaces and encloses ":work-remote:MY REMOTE
>>> INBOX" into quotes.
>>
>> Not sure why one would use symbols for everything to begin with; I

Re: [PATCH] guix: scripts: home: Add ‘import’ command. 3 years ago

From Xinglu Chen to ~abcdw/rde-devel

On Tue, Jun 22 2021, Andrew Tropin wrote:

> LGTM, applied, adjusted few minor things.
>
> Thank you for new action!)

You’re welcome :)

Re: [PATCH] gnu: home-services: mail: Add L2md service. 3 years ago

From Xinglu Chen to ~abcdw/rde-devel

On Mon, Jun 21 2021, Andrew Tropin wrote:

> Xinglu Chen <public@yoctocell.xyz> writes:
>
>> On Mon, Jun 21 2021, Andrew Tropin wrote:
>>
>>>> +(define-configuration/no-serialization home-l2md-configuration
>>>> +  (package
>>>> +    (package l2md)
>>>> +    "The L2md package to use.")
>>>> +  (period
>>>> +   (integer 180)
>>>> +   "The number of seconds between each round of fetching Git
>>>> +repositories.")

Re: [PATCH] gnu: home-services: mail: Improve serialization for Isync service. 3 years ago

From Xinglu Chen to ~abcdw/rde-devel

On Mon, Jun 21 2021, Andrew Tropin wrote:

>> I don’t see why one would use symbols for some of the values and strings
>> for others.  Just using strings makes more sense to me.
>
> Person uses symbols for everything, after that he realizes that one of
> remote folders contains spaces and encloses ":work-remote:MY REMOTE
> INBOX" into quotes.

Not sure why one would use symbols for everything to begin with; I
usually just use strings/bool/num for the values.

>>> And it maps pretty good to what I get.  With proposed patch, it will produce
>>>