GNU bug report logs - #68857
gnu: home: dotfiles: Avoid creating extra directory in $HOME.

Previous Next

Full log

View this message in rfc822 format

From: Janneke Nieuwenhuizen <janneke <at> gnu.org>
To: paul <goodoldpaul <at> autistici.org>
Cc: Ludovic Courtès <ludo <at> gnu.org>, Sergey Trofimov <sarg <at> sarg.org.ru>, 68857 <at> debbugs.gnu.org, andrew <at> trop.in
Subject: [bug#68857] [PATCH] gnu: home: dotfiles: Avoid creating extra directory in $HOME.
Date: Wed, 07 Feb 2024 09:05:33 +0100

paul writes:

Hi Paul,

> could you try whether this patch solves
> https://issues.guix.gnu.org/68848 for you?

Yes, that fixes it.  Although I would rather write it something like

--8<---------------cut here---------------start------------->8---
(define (strip file-name)
  (let ((dotfile-name (string-drop file-name (+1 (string-length directory)))))
    (match (string-split dotfile-name #\/)
      ((package parts ...)
       (string-join parts "/")))))
--8<---------------cut here---------------end--------------->8---

> Thank you for your time,

No problem, somehow I looked for a patch and didn't see it before.

Thanks for the ping and for fixing this.

Greetings,
Janneke

-- 
Janneke Nieuwenhuizen <janneke <at> gnu.org>  | GNU LilyPond https://LilyPond.org
Freelance IT https://www.JoyOfSource.com | Avatar® https://AvatarAcademy.com

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.