On 7/6/21 9:38 pm, jrb3-beckenbach.us wrote:
Hi again, Jon!
On 6 Jun 2021, at 20:51, Jon Gough wrote:
These suggest that a full cleanup could/should(?) be done including all user
generated files.
Not at all, because packages do not install any files to any user-$HOME.
If the user
Hi again, Jon!
> On 6 Jun 2021, at 20:51, Jon Gough wrote:
> These suggest that a full cleanup could/should(?) be done including all user
> generated files.
Not at all, because packages do not install any files to any user-$HOME.
If the user generated (or triggered the generation of) any
On 5/6/21 5:36 pm, Andrey Rahmatullin wrote:
On Sat, Jun 05, 2021 at 07:43:54AM +1000, Jon Gough wrote:
On 9/5/21 5:40 pm, Andrey Rahmatullin wrote:
On Sun, May 09, 2021 at 04:41:13PM +1000, Jon Gough wrote:
My conclusion is that application plugin mangers should make use of the
platform
On Sat, Jun 05, 2021 at 09:03:05AM +1000, Jon Gough wrote:
> On 5/6/21 7:59 am, The Wanderer wrote:
> > And what if the user is uninstalling, but intends to install again
> They get asked if they want to do a complete uninstall of all downloaded
> plugins, or leave them
What happens to the other
On Sat, Jun 05, 2021 at 07:43:54AM +1000, Jon Gough wrote:
>
> On 9/5/21 5:40 pm, Andrey Rahmatullin wrote:
> > On Sun, May 09, 2021 at 04:41:13PM +1000, Jon Gough wrote:
> > > My conclusion is that application plugin mangers should make use of the
> > > platform installation process for
On 5/6/21 8:36 am, Sven Hartge wrote:
The Wanderer wrote:
I genuinely do not see what insisting on uninstalling plugins at the
same time as the main program, for all user accounts, provides as a
benefit. The only maybe benefit I've seen suggested is cleaning up to
free disk space, and that
On 5/6/21 7:59 am, The Wanderer wrote:
On 2021-06-04 at 17:43, Jon Gough wrote:
On 9/5/21 5:40 pm, Andrey Rahmatullin wrote:
On Sun, May 09, 2021 at 04:41:13PM +1000, Jon Gough wrote:
I now know what path I need to follow, i.e. have a plugin manager
that uses the platform installation
The Wanderer wrote:
> I genuinely do not see what insisting on uninstalling plugins at the
> same time as the main program, for all user accounts, provides as a
> benefit. The only maybe benefit I've seen suggested is cleaning up to
> free disk space, and that seems to me to be so obviously
On 2021-06-04 at 17:43, Jon Gough wrote:
> On 9/5/21 5:40 pm, Andrey Rahmatullin wrote:
>
>> On Sun, May 09, 2021 at 04:41:13PM +1000, Jon Gough wrote:
>>> I now know what path I need to follow, i.e. have a plugin manager
>>> that uses the platform installation process so that the uninstall
>>>
On 9/5/21 5:40 pm, Andrey Rahmatullin wrote:
On Sun, May 09, 2021 at 04:41:13PM +1000, Jon Gough wrote:
My conclusion is that application plugin mangers should make use of the
platform installation process for installing and uninstalling plugins as it
"the platform installation process"
Am Sun, May 09, 2021 at 04:41:13PM +1000 schrieb Jon Gough:
>
>
> On 9/5/21 4:31 pm, Mechtilde wrote:
> > Hello Jon,
> >
> > which plugin manager are you talking about.
> >
> > Each application providing plugins has its own mechanism to handle them.
> >
> > So i don't understand what your
On Sun, May 09, 2021 at 10:07:38AM +0300, Martin Atukunda wrote:
> > > where else could the 'system' files be placed?
> >
> > Not sure what you mean about system files.
> > My interpretation would be that "system" files come from the .deb. Here,
> > Debian policy is the reference, and §9 refers to
On Sun, May 09, 2021 at 04:41:13PM +1000, Jon Gough wrote:
> My conclusion is that application plugin mangers should make use of the
> platform installation process for installing and uninstalling plugins as it
"the platform installation process" sounds like using debs, am I wrong?
> would appear
On Fri, 7 May 2021, 08:35 Tobias Frost, wrote:
> On Fri, May 07, 2021 at 10:58:27AM +1000, Jon Gough wrote:
> > The user install plugins can vary between very simple with a config file
> and
> > a couple of icons up to complex with large data >1GB and hundreds of
> icons.
> >
> > So, if debs
On 9/5/21 4:31 pm, Mechtilde wrote:
Hello Jon,
which plugin manager are you talking about.
Each application providing plugins has its own mechanism to handle them.
So i don't understand what your conclusion is. So I want to know whether
my packages can be affected or benefit of it.
Hello Jon,
which plugin manager are you talking about.
Each application providing plugins has its own mechanism to handle them.
So i don't understand what your conclusion is. So I want to know whether
my packages can be affected or benefit of it.
Regards
Mechtilde
Am 08.05.21 um 23:50
On 8/5/21 10:51 pm, Sven Hartge wrote:
Jon Gough wrote:
So, any user installable application extension/plugin which has
executables and supporting data is left behind on the system when the
owning application is removed or updated using the system installation
process? This is accepted
Jon Gough wrote:
> So, any user installable application extension/plugin which has
> executables and supporting data is left behind on the system when the
> owning application is removed or updated using the system installation
> process? This is accepted behaviour?
Yes, this is accepted
On 2021-05-07 at 16:47, Jon Gough wrote:
> On 8/5/21 12:17 am, Kris Deugau wrote:
>
>> Jon Gough wrote:
>>> Is there a process that allows the deb to 'clean up' the
>>> application when the application is uninstalled, in particular
>>> any 'install' artefacts that have been installed by
Hi Jon,
On Fri, May 7, 2021 at 10:47 PM Jon Gough wrote:
> On 8/5/21 12:17 am, Kris Deugau wrote:
>
> Jon Gough wrote:
>
> The user install plugins can vary between very simple with a config file
> and a couple of icons up to complex with large data >1GB and hundreds of
> icons.
>
> So, if debs
On 8/5/21 12:17 am, Kris Deugau wrote:
Jon Gough wrote:
The user install plugins can vary between very simple with a config
file and a couple of icons up to complex with large data >1GB and
hundreds of icons.
So, if debs must not touch files in $HOME but is allowed to create
files there (is
The user install plugins can vary between very simple with a config file
and a couple of icons up to complex with large data >1GB and hundreds
of icons. So leaving them lying around on smaller, resource constrained
systems when the main application is removed does not seem very user
friendly.
Jon Gough wrote:
The user install plugins can vary between very simple with a config file
and a couple of icons up to complex with large data >1GB and hundreds of
icons.
So, if debs must not touch files in $HOME but is allowed to create files
there (is that not a contradiction?) where else
Hello Jon,
do you have a special plugin in mind.
I packaged several plugins for thunderbird and libreoffice.
They all are installed as root under /usr/lib and/or /usr/share. Some of
them has also config files.
So I offer we can work step-by-step to the packaging process.
Kind regards
On Fri, May 07, 2021 at 10:58:27AM +1000, Jon Gough wrote:
> The user install plugins can vary between very simple with a config file and
> a couple of icons up to complex with large data >1GB and hundreds of icons.
>
> So, if debs must not touch files in $HOME but is allowed to create files
>
The user install plugins can vary between very simple with a config file
and a couple of icons up to complex with large data >1GB and hundreds of
icons.
So, if debs must not touch files in $HOME but is allowed to create files
there (is that not a contradiction?) where else could the 'system'
On Thu, May 06, 2021 at 01:16:13PM +1000, Jon Gough wrote:a
(Please refrain from top-posting)
> Hi,
> Thanks for the info, I thought this may be the case. Using that it is
> easy to install and uninstall plugins from the main program. The uninstall
> can be just the plugin resources or the
Hi,
Thanks for the info, I thought this may be the case. Using that it
is easy to install and uninstall plugins from the main program. The
uninstall can be just the plugin resources or the plugin resources and
configuration items as well and we can ask the user what level of
uninstall they
Hi Jon,
Maybe it would be preferable to use the XDG recommendation ?
App configuration, and plugins configuration too:
XDG_CONFIG_HOME:-$HOME/.config/[MyTLD]/[MyApplication]/
User installed plugins resources:
XDG_DATA_HOME:-$HOME/.local/share/[MyTLD]/[MyApplication]/
*where MyTLD is a
Hi List,
I am working on a user driven plugin management process for an
application which is installed via a 'deb' file. The application is
installed using 'root' privileges, but the plugins need to be
installable by the user without root privileges. The plugins will
consist of libs,
30 matches
Mail list logo
