unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: phillip.lord@russet.org.uk (Phillip Lord)
To: Eli Zaretskii <eliz@gnu.org>
Cc: Stromeko@nexgo.de, emacs-devel@gnu.org
Subject: Re: feature/integrated-elpa 4f6df43 15/23: README added
Date: Wed, 19 Oct 2016 17:12:30 +0100	[thread overview]
Message-ID: <87eg3ce2s1.fsf@russet.org.uk> (raw)
In-Reply-To: <83h988uzpm.fsf@gnu.org> (Eli Zaretskii's message of "Wed, 19 Oct 2016 18:26:45 +0300")

Eli Zaretskii <eliz@gnu.org> writes:

>> From: phillip.lord@russet.org.uk (Phillip Lord)
>> Cc: Stromeko@nexgo.de,  emacs-devel@gnu.org
>> Date: Wed, 19 Oct 2016 16:09:25 +0100
>> 
>> >> 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?
>> 
>> Again, only if the file names have not changed between one release and
>> the next.

> If the old file org-html.el exists in directory DIR1, and the new file
> ox-html.el that defines the same features lives in directory DIR2,
> then having DIR2 in load-path ahead of DIR1 will always find
> ox-html.el before it finds org-html.el.  If the autoloads for symbols
> previously defined in org-html.el now point to ox-html.el, referencing
> such a symbol will load ox-html.el because the regenerated autoloads
> say so.  Right?

If everybody does the right thing. If not everybody does the right
thing, the old version gets loaded. Happened to me, it's hard to debug
and hard to work out what is going wrong.


>> And, anyway, it's not possible to regenerate autoloads in core
>> emacs.
>
> Why not?  We do that all the time, each time we rebuild Emacs.

Developers do this all the time, users do not.

We could remove, of course, put autoloads in user space under the
control of the user. This is what package.el does.

>> > 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?
>> 
>> No. They are still there, and are still visible, as long as they are in
>> the load path.
>
> Why do we care that the files are there if no one and nothing is
> loading them?

They are loadable. They should not be. It's hit me, and it's a pain.

> What situation will not be caught by these two devices?

Described this several times.

>> load-path is directory based. I cannot prevent files that could be
>> loaded from core, unless they are in one directory.
>
> You don't need to prevent that.  Files that live only in the core
> directories will not be affected by having
> .emacs.d/packages/elpa/something earlier in load-path, because no file
> by the same name will be found in the core directories.

Also, described this several times.


>> >> 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.
>> 
>> The fundamental difficult is that we are supporting two different file
>> arrangements for any package present in core that can also be installed
>> from ELPA.
>
> It isn't fundamental, in the sense that I used this word, because it
> can be solved quite easily.  "Fundamental" in this case means
> something requires a thorough redesign of many Emacs basic features.

Okay, that's fine. I don't see any fundamental difficulties in following
a package.el based solution either; so far, the only issue that I have
seen is "I like the directory structure the way it is", and "I don't
want to see lots of directories with one or two files in core, although
it's fine in user space".

Seriously, honestly, definately, I will stop defending my proposal now,
because the discussion is not advancing at all.

Phil




  reply	other threads:[~2016-10-19 16:12 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
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 [this message]
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=87eg3ce2s1.fsf@russet.org.uk \
    --to=phillip.lord@russet.org.uk \
    --cc=Stromeko@nexgo.de \
    --cc=eliz@gnu.org \
    --cc=emacs-devel@gnu.org \
    /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).