unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Eli Zaretskii <eliz@gnu.org>
To: phillip.lord@russet.org.uk (Phillip Lord)
Cc: Stromeko@nexgo.de, emacs-devel@gnu.org
Subject: Re: feature/integrated-elpa 4f6df43 15/23: README added
Date: Wed, 19 Oct 2016 11:28:03 +0300	[thread overview]
Message-ID: <83shrsvj3g.fsf@gnu.org> (raw)
In-Reply-To: <8760oosrn8.fsf@russet.org.uk> (phillip.lord@russet.org.uk)

> From: phillip.lord@russet.org.uk (Phillip Lord)
> Cc: Achim Gratz <Stromeko@nexgo.de>,  emacs-devel@gnu.org
> Date: Wed, 19 Oct 2016 08:51:39 +0100
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> >> From: Achim Gratz <Stromeko@nexgo.de>
> >> Date: Tue, 18 Oct 2016 20:48:29 +0200
> >> 
> >> Eli Zaretskii writes:
> >> > That just means installing a new version needs to remove the previous
> >> > version's files first, that's all.  It has nothing to do with
> >> > load-path.
> >> 
> >> That's simply not an option when a user wants to install an updated ELPA
> >> package in his home directory while the system administrator keeps the
> >> Emacs installation as-distributed.  In other words, you'd kill _the_
> >> feature that package.el was supposed to give mere users and arguably the
> >> main selling point.
> >
> > If no better solution comes up, it would mean the user will have to
> > restart Emacs.  Hardly a catastrophe.
> 
> Eli, I think you are not taking the time here to understand the problem.
> Both Achim and I have thought the issue through

Those kinds of remarks are hardly constructive.  Please assume that
I've thought the issues through as best I could, and if I'm missing
some important details, those details should be put on the table
explicitly and discussed.

> and it restarting Emacs were the solution then neither of us would,
> I expect, be complaining.

I don't see why restarting won't be a solution.  If load-path was
re-arranged to put the latest version of a package first, and the
package's autoloads are on a file that has been regenerated, what else
is missing to make restart the correct solution?

> As Achim says, an org-html in the core installation cannot be removed
> because it comes as part of a packaged Emacs and needs admin
> privilleges; again, can be done, but not very good practice. The
> org-html in core can be shadowed but only by another file called
> org-html. More recent versions of org do not contain such a file.

If load-path is rearranged when a newer version of Org is installed,
and org-loaddefs are regenerated, then, after a restart, any 'load'
and 'require' will find the new files first, and the old ones will be
effectively invisible to Emacs.  Right?

> There are solutions to this, many of them hacky. The simplest solution
> is to NOT include the directory containing the old version of org in the
> load-path.

That solution will only work for packages in their own directories.
We want to have a solution that works even for files in common
directories.  I think rearranging load-path and regenerating the
autoloads will solve that as well.

> >> But in the situation explained by Phillip it _is_ loadable, even though
> >> it must not be.  If in fact you have an autoload pointing to a file that
> >> no longer exists or doesn't contain the autoloaded function anymore,
> >> then a modification of load-path after that autoload has been generated
> >> won't help at all.
> >
> > Restarting Emacs will solve that.
> 
> It will not, and does not.

Why won't it?  (The "does not" part just means package.el doesn't
currently do that, AFAIU, but it can be extended to do it.)

> I have defined my goal and a path toward it.
> 
> I believe that Emacs should have a single mechanism for managing
> packages, and that this mechanism is package.el. I am aware that this is
> a big change and have, therefore, presented an incremental path by which
> this can be trialed out without mass renaming or moves of files in core,
> and which also allows support for adding packages stored in ELPA to the
> core build which is a sensible goal put forward by John.
> 
> I will leave it there. If neither you or John want to go this way, I
> will stop.

I think we both indicated that we want to go this way, we just don't
want the Lisp files scattered among dozens of directories, each one
with a single file.  Yes, this is a goal that is harder to achieve,
but I don't yet see any fundamental difficulties on that path, just
some more work.

I think making such a change incrementally is worse than doing it at
once, as far as the directory structure is concerned.  We don't want
to change the directory structure several times, ideally not even
once.  But if some change is required, it should be done in one go, so
we need to decide on the structure up front.

Thanks.



  reply	other threads:[~2016-10-19  8:28 UTC|newest]

Thread overview: 204+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <20160916203414.25203.87032@vcs.savannah.gnu.org>
     [not found] ` <20160916203416.8DF2F220166@vcs.savannah.gnu.org>
2016-09-16 22:43   ` [Emacs-diffs] feature/integrated-elpa 4f6df43 15/23: README added Stefan Monnier
2016-09-17  7:41     ` Phillip Lord
2016-09-17 16:00       ` Stefan Monnier
2016-09-17 21:25         ` Phillip Lord
2016-09-18 16:15           ` Stefan Monnier
2016-09-18 18:33             ` Phillip Lord
2016-09-17 21:52     ` John Wiegley
2016-09-18 13:30       ` Stefan Monnier
2016-09-18 18:36         ` Phillip Lord
2016-09-18 19:45         ` John Wiegley
2016-09-18 22:59           ` Stefan Monnier
2016-09-19  8:48             ` Phillip Lord
2016-09-19 14:11               ` Stefan Monnier
2016-09-19 16:00                 ` Phillip Lord
2016-09-19 16:36                   ` Stefan Monnier
2016-09-21 20:26                     ` John Wiegley
2016-09-22 12:54                       ` Phillip Lord
2016-09-22 15:19                         ` John Wiegley
2016-09-23 14:55                           ` Phillip Lord
2016-09-23 16:31                             ` John Wiegley
2016-09-26 16:28                               ` Phillip Lord
2016-09-26 19:05                                 ` Eli Zaretskii
2016-09-27 16:01                                   ` Phillip Lord
2016-09-28 15:02                                     ` Eli Zaretskii
2016-09-29  9:00                                       ` Phillip Lord
2016-09-29 15:14                                         ` Eli Zaretskii
2016-09-29 16:38                                           ` John Wiegley
2016-09-30 10:43                                             ` Phillip Lord
2016-09-30 11:20                                               ` Alain Schneble
2016-09-30 12:39                                                 ` Phillip Lord
2016-09-30 11:56                                               ` Alain Schneble
2016-09-30 12:34                                                 ` Eli Zaretskii
2016-09-30 12:41                                                 ` Phillip Lord
2016-09-30 13:24                                                   ` Alain Schneble
2016-09-30 16:17                                                     ` Phillip Lord
2016-09-30 20:02                                                       ` Alain Schneble
2016-10-03 12:32                                                         ` Phillip Lord
2016-10-03 16:16                                                           ` Eli Zaretskii
2016-10-05  6:28                                                           ` Alain Schneble
2016-10-05 15:23                                                             ` Drew Adams
2016-10-07 16:15                                                               ` Phillip Lord
2016-10-08 14:58                                                                 ` Drew Adams
2016-10-09 20:30                                                                   ` Phillip Lord
2016-10-07 16:11                                                             ` Phillip Lord
2016-10-08 10:43                                                               ` Alain Schneble
2016-10-09 20:17                                                                 ` Phillip Lord
2016-10-08 14:58                                                               ` Drew Adams
2016-10-08 17:35                                                                 ` Colin Baxter
2016-10-09 20:20                                                                   ` Phillip Lord
2016-10-09 20:19                                                                 ` Phillip Lord
2016-10-09 21:35                                                                   ` Drew Adams
2016-10-12 14:02                                                                     ` Phillip Lord
2016-10-12 15:24                                                                       ` Drew Adams
2016-10-08 19:40                                                               ` John Wiegley
2016-10-09 20:25                                                                 ` Phillip Lord
2016-10-10  3:03                                                                   ` John Wiegley
2016-10-12 13:53                                                                     ` Phillip Lord
2016-10-12 16:29                                                                       ` John Wiegley
2016-10-13 10:40                                                                         ` Phillip Lord
2016-10-13 17:14                                                                           ` John Wiegley
2016-10-13 18:21                                                                             ` Stefan Monnier
2016-10-13 18:48                                                                               ` John Wiegley
2016-10-14  8:11                                                                               ` Phillip Lord
2016-10-05  7:25                                                           ` Alain Schneble
2016-10-07 16:29                                                             ` Phillip Lord
2016-10-08 10:01                                                               ` Eli Zaretskii
2016-10-08 10:57                                                                 ` Alain Schneble
2016-10-08 11:21                                                                   ` Eli Zaretskii
2016-10-08 11:41                                                                     ` Alain Schneble
2016-10-08 12:04                                                                       ` Eli Zaretskii
2016-10-08 13:33                                                                         ` Alain Schneble
2016-10-08 14:31                                                                           ` Eli Zaretskii
2016-10-09 20:42                                                                         ` Phillip Lord
2016-10-10  6:27                                                                           ` Eli Zaretskii
2016-10-12 14:07                                                                             ` Phillip Lord
2016-10-12 16:30                                                                               ` John Wiegley
2016-10-13 10:47                                                                                 ` Phillip Lord
2016-10-13 17:14                                                                                   ` John Wiegley
2016-10-13 21:54                                                                                   ` Alain Schneble
2016-10-13 22:09                                                                                     ` Alain Schneble
2016-10-13 22:29                                                                                     ` John Wiegley
2016-10-14  6:55                                                                                       ` Eli Zaretskii
2016-10-14  8:25                                                                                         ` Phillip Lord
2016-10-14  9:55                                                                                           ` Eli Zaretskii
2016-10-15 17:41                                                                                             ` Phillip Lord
2016-10-15 18:11                                                                                               ` Eli Zaretskii
2016-10-14  8:23                                                                                       ` Phillip Lord
2016-10-14  9:15                                                                                       ` Phillip Lord
2016-10-14  8:20                                                                                     ` Phillip Lord
2016-10-14  8:49                                                                                       ` Alain Schneble
2016-10-14  9:25                                                                                         ` Phillip Lord
2016-10-14  9:52                                                                                       ` Eli Zaretskii
2016-10-14 13:51                                                                                         ` Andy Moreton
2016-10-14 14:13                                                                                           ` Eli Zaretskii
2016-10-14 15:12                                                                                             ` Andy Moreton
2016-10-14 15:22                                                                                               ` Eli Zaretskii
2016-10-14 16:47                                                                                                 ` John Wiegley
2016-10-15 12:01                                                                                                   ` Phillip Lord
2016-10-15 12:22                                                                                                     ` Eli Zaretskii
2016-10-15 13:34                                                                                                       ` Achim Gratz
2016-10-15 14:33                                                                                                         ` Eli Zaretskii
2016-10-15 14:53                                                                                                           ` Phillip Lord
2016-10-15 15:21                                                                                                             ` Eli Zaretskii
2016-10-18 10:52                                                                                                               ` Phillip Lord
2016-10-18 11:11                                                                                                                 ` Eli Zaretskii
2016-10-18 13:33                                                                                                                   ` Phillip Lord
2016-10-18 14:47                                                                                                                     ` Eli Zaretskii
2016-10-18 16:43                                                                                                                       ` Phillip Lord
2016-10-18 17:36                                                                                                                         ` Eli Zaretskii
2016-10-18 18:48                                                                                                                           ` Achim Gratz
2016-10-18 19:15                                                                                                                             ` Eli Zaretskii
2016-10-19  7:51                                                                                                                               ` Phillip Lord
2016-10-19  8:28                                                                                                                                 ` Eli Zaretskii [this message]
2016-10-19  9:31                                                                                                                                   ` Alain Schneble
2016-10-19  9:42                                                                                                                                     ` Eli Zaretskii
2016-10-19  9:51                                                                                                                                       ` Alain Schneble
2016-10-19 10:25                                                                                                                                         ` Alain Schneble
2016-10-19 15:19                                                                                                                                           ` Phillip Lord
2016-10-19 19:21                                                                                                                                             ` Alain Schneble
2016-10-19 20:24                                                                                                                                               ` Phillip Lord
2016-10-19 20:57                                                                                                                                                 ` Alain Schneble
2016-10-19 22:35                                                                                                                                                   ` Phillip Lord
2016-10-20  9:42                                                                                                                                                     ` Alain Schneble
2016-10-20  7:22                                                                                                                                                 ` Eli Zaretskii
2016-10-19 15:14                                                                                                                                       ` Phillip Lord
2016-10-19 17:59                                                                                                                                         ` Eli Zaretskii
2016-10-19 15:09                                                                                                                                   ` Phillip Lord
2016-10-19 15:26                                                                                                                                     ` Eli Zaretskii
2016-10-19 16:12                                                                                                                                       ` Phillip Lord
2016-10-19 17:40                                                                                                                                         ` Ted Zlatanov
2016-10-19 18:59                                                                                                                                           ` Stefan Monnier
2016-10-19 19:57                                                                                                                                             ` Phillip Lord
2016-10-19 20:32                                                                                                                                               ` Lars Ingebrigtsen
2016-10-19 22:38                                                                                                                                                 ` Phillip Lord
2016-10-20  7:25                                                                                                                                               ` Eli Zaretskii
2016-10-19 20:41                                                                                                                                             ` Lars Ingebrigtsen
2016-10-19 21:17                                                                                                                                               ` Alain Schneble
2016-10-19 21:25                                                                                                                                                 ` Lars Ingebrigtsen
2016-10-20 10:01                                                                                                                                                   ` Alain Schneble
2016-10-19 22:52                                                                                                                                               ` Phillip Lord
2016-10-20 18:05                                                                                                                                               ` Achim Gratz
2016-10-19 18:04                                                                                                                                         ` Eli Zaretskii
2016-10-19 19:47                                                                                                                                           ` Phillip Lord
2016-10-20  7:21                                                                                                                                             ` Eli Zaretskii
2016-10-19 18:26                                                                                                                                   ` Achim Gratz
2016-10-19 18:51                                                                                                                                     ` Alain Schneble
2016-10-19 19:24                                                                                                                                       ` Achim Gratz
2016-10-19 20:13                                                                                                                                         ` Alain Schneble
2016-10-20  7:17                                                                                                                                           ` Eli Zaretskii
2016-10-20  6:51                                                                                                                                         ` Eli Zaretskii
2016-10-19 19:33                                                                                                                                       ` Alain Schneble
2016-10-19 20:13                                                                                                                                     ` Phillip Lord
2016-10-19 21:56                                                                                                                                     ` John Wiegley
2016-10-19 23:03                                                                                                                                       ` Phillip Lord
2016-10-20  8:35                                                                                                                                         ` Michael Albinus
2016-10-20  6:35                                                                                                                                     ` Eli Zaretskii
2016-10-15 17:18                                                                                                             ` Achim Gratz
2016-10-18 10:54                                                                                                               ` Phillip Lord
2016-10-18 18:54                                                                                                                 ` Achim Gratz
2016-10-19  8:01                                                                                                                   ` Phillip Lord
2016-10-15 17:08                                                                                                           ` Achim Gratz
2016-10-15 17:18                                                                                                             ` Eli Zaretskii
2016-10-18 10:59                                                                                                               ` Phillip Lord
2016-10-18 11:12                                                                                                                 ` Eli Zaretskii
2016-10-18 13:37                                                                                                                   ` Phillip Lord
2016-10-18 14:48                                                                                                                     ` Eli Zaretskii
2016-10-18 14:59                                                                                                                       ` Eli Zaretskii
2016-10-17 23:09                                                                                                     ` John Wiegley
2016-10-18  6:09                                                                                                       ` Eli Zaretskii
2016-10-18 13:01                                                                                                         ` Phillip Lord
2016-10-18 14:54                                                                                                           ` Eli Zaretskii
2016-10-18 16:59                                                                                                             ` Phillip Lord
2016-10-18 17:46                                                                                                               ` Eli Zaretskii
2016-10-19  7:54                                                                                                                 ` Phillip Lord
2016-10-18 18:08                                                                                                           ` John Wiegley
2016-10-19  7:59                                                                                                             ` Phillip Lord
2016-10-18 14:04                                                                                                       ` Andy Moreton
2016-10-15 11:51                                                                                                 ` Phillip Lord
2016-10-15 12:19                                                                                                   ` Eli Zaretskii
2016-10-15 11:48                                                                                           ` Phillip Lord
2016-10-09 20:38                                                                 ` [Emacs-diffs] " Phillip Lord
2016-10-10  6:23                                                                   ` Eli Zaretskii
2016-10-08 10:25                                                               ` Alain Schneble
2016-09-30 13:29                                                   ` Eli Zaretskii
2016-09-30 12:17                                               ` Eli Zaretskii
2016-09-30 13:06                                                 ` Phillip Lord
2016-09-30 13:33                                                   ` Eli Zaretskii
2016-09-30 16:22                                                     ` Phillip Lord
2016-09-30 17:30                                               ` John Wiegley
2016-10-03 12:33                                                 ` Phillip Lord
2016-10-03 16:13                                                   ` John Wiegley
2016-09-29 16:53                                 ` John Wiegley
2016-09-29 17:06                                   ` Drew Adams
2016-09-29 17:13                                     ` John Wiegley
2016-09-30 10:49                                     ` Phillip Lord
2016-09-30 14:20                                       ` Drew Adams
2016-09-30 16:25                                         ` Phillip Lord
2016-09-30 10:44                                   ` Phillip Lord
2016-09-21 20:42                     ` Clément Pit--Claudel
2016-09-22 12:49                     ` Phillip Lord
2016-09-22 17:43                       ` Stefan Monnier
2016-09-23 14:49                         ` Phillip Lord
2016-09-23 15:36                           ` Stefan Monnier
2016-09-26 16:23                             ` Phillip Lord

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=83shrsvj3g.fsf@gnu.org \
    --to=eliz@gnu.org \
    --cc=Stromeko@nexgo.de \
    --cc=emacs-devel@gnu.org \
    --cc=phillip.lord@russet.org.uk \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).