On Sun, Sep 20, 2020 at 11:57:58PM +0300, Efraim Flashner wrote: > On Sun, Sep 20, 2020 at 09:50:12PM +0200, Ricardo Wurmus wrote: > > > > Efraim Flashner writes: > > > > > 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 ~$ > > > > Me neither! But when loading profiles we suggest this approach: > > > > export GUIX_PROFILE=/the/location/of/the/.guix-profile > > source $GUIX_PROFILE/etc/profile > > > > The variable is set in that case, because that affects whether absolute > > store file names are used or the symlink > > “/the/location/of/the/.guix-profile”. > > It seems to be the case for the default profile. And in Guix System. I > could also just add $GUIX_PROFILE as another location in the list of > directories to search. The more I think about it the more I see $HOME/.guix-profile as a "special profile" which is nearly always included in $PATH and other variables, similar to /run/current-system/profile. With that in mind I like the attached patch which keeps that path but adds a search for $GUIX_PROFILE. I could use environment variables to override vim's builtin search for $VIM and $VIMRUNTIME, but then we would have to decide to support vim installed by the user or system-wide. -- Efraim Flashner אפרים פלשנר GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted