Skip to content
This repository has been archived by the owner on Feb 17, 2022. It is now read-only.

Easy way to install one or more plugins in $HOME #10

Open
jdpipe opened this issue Apr 11, 2018 · 0 comments
Open

Easy way to install one or more plugins in $HOME #10

jdpipe opened this issue Apr 11, 2018 · 0 comments

Comments

@jdpipe
Copy link

jdpipe commented Apr 11, 2018

Thanks for your work in porting plugins for use with Pluma!
I wanted to ask if there's any chance you could write some quick instructions for how to install just one or two of the plugins here into my $HOME directory. I looked at the ./configure script but I couldn't readily see how to redirect the installation of files into ~/.config/pluma/plugins.
Having a way to do this would help to compensate for the fact that Ubuntu doesn't provide these plugins as a packaged .deb.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant