On Sun, Sep 20, 2020 at 09:29:27PM +0200, Ricardo Wurmus wrote: > > Efraim Flashner writes: > > > diff --git a/gnu/packages/aux-files/guix.vim b/gnu/packages/aux-files/guix.vim > > new file mode 100644 > > index 0000000000..ca97f451d8 > > --- /dev/null > > +++ b/gnu/packages/aux-files/guix.vim > > @@ -0,0 +1,7 @@ > > +" This appends all of the vim plugins to the end of Vim's runtimepath. > > +for directory in ["/run/current-system/profile", $HOME . "/.guix-profile", $GUIX_ENVIRONMENT] > > How about using $GUIX_PROFILE as well or instead of $HOME/.guix-profile? > This would allow users to keep a separate profile for Vim things. That was the one part I didn't really like about my patch. Unfortunately I don't seem to have $GUIX_PROFILE set on my machine. (ins)efraim@E5400 ~$ echo $GUIX_PROFILE (ins)efraim@E5400 ~$ -- Efraim Flashner אפרים פלשנר GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted