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
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 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 s
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
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 pr
of it.
Regards
Mechtilde
Am 08.05.21 um 23:50 schrieb Jon Gough:
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 up
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
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
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' f
ds name clashing
between apps.
More to read here:
https://www.freedesktop.org/wiki/Specifications/
HTH,
Benoît
Le 06/05/2021 à 01:36, Jon Gough a écrit :
Hi List,
I am working on a user driven plugin management process for an
application which is installed via a 'deb' file. T
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, icons,
11 matches
Mail list logo