all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Eli Zaretskii <eliz@gnu.org>
To: phillip.lord@russet.org.uk (Phillip Lord)
Cc: a.s@realize.ch, monnier@iro.umontreal.ca, emacs-devel@gnu.org
Subject: Re: [Emacs-diffs] feature/integrated-elpa 4f6df43 15/23: README added
Date: Mon, 10 Oct 2016 09:23:56 +0300	[thread overview]
Message-ID: <83wphgen7n.fsf@gnu.org> (raw)
In-Reply-To: <87a8ed2r73.fsf@russet.org.uk> (phillip.lord@russet.org.uk)

> From: phillip.lord@russet.org.uk (Phillip Lord)
> Cc: a.s@realize.ch,  monnier@iro.umontreal.ca,  emacs-devel@gnu.org
> Date: Sun, 09 Oct 2016 21:38:40 +0100
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> >> Packages in already in package.el format can be directly used within
> >> Emacs.
> >
> > What do you mean by "directly used"?  Directly as opposed to what?
> 
> Without installation -- that is, as part of core emacs.

What do you mean by "installation" in this case?  Copying each file to
its place, as opposed to just replicating the same directory
structure?  Or do you mean something else?

> >> This requires no changes in the file layout, and means that
> >> packages will only be built with a single system (i.e. both Emacs core
> >> and ELPA will be build with package.el).
> >
> > Why would the Emacs build require package.el to do anything at all?
> 
> Why not? It's a convienient way of building packages.

If that convenience comes at a price of making our directory structure
harder to work with, it's more like INconvenience.

> > And what kind of build do you have in mind here?  We have:
> >
> >   . build out of Git repo
> >   . build of the release tarball as distributed from ftp.gnu.org
> >   . build of the release tarball after updating some packages from ELPA
> 
> All of these, I think.

Each one could have a separate solution.  For example, the first one
could be done with Git commands, bypassing package.el entirely, or
with Git commands followed by something that package.el does to
populate the right directories.

> > ELPA packages should be logically part of Emacs, just in a different
> > Git repo.  So this goal should be supported, of course.  But I don't
> > understand why it would require using a separate directory tree for
> > ELPA packages.
> 
> It enables the convienience of taking a directory containing a package
> from ELPA and putting it within the Emacs build unchanged. This seems
> clean and simple. It should also enable "git submodule/subtree" type
> options.

See above: it could be easy to do, but be a nuisance in the long run.
So it is IMO incorrect to consider only the short-term convenience of
putting together the necessary machinery, we need to consider the
long-term convenience as well, if not first of all.

> >> It also, of course, means that files from ELPA would now be duplicated
> >> in core Emacs because they would have been copied.
> >
> > ??? Copied from where to where?  And why?  I don't understand why they
> > would need to be copied anywhere, they just need to be downloaded
> > directly to where they belong in the Emacs directory structure.
> 
> Downloading is copying right?

That price cannot be avoided, since ELPA is a different repository.
Right?

> >> So, when developing Emacs, there would be version controlled .el
> >> source files and non-version controlled copied .el files in the same
> >> location.
> >
> > We already have that; see charscript.el.  Why having some moe
> > unversioned *.el files would hurt or be any different?
> 
> There are generated .el files in Emacs, and there are specific cases
> where this is necessary, but it's not a great thing. Mostly, I think,
> .el files should be source code. At the moment, it's only a few files.
> Making this more common seems bad.

I disagree.  I see no reason to consider generated files "bad".  And
there's no fundamental difference between generating them by C or Lisp
programs and "generating" them by using Git commands.

> >> You would have to remember to edit the former, but not the latter.
> >
> > ??? Unversioned files can be edited to your heart's content, they will
> > just be overwritten on the next update.
> 
> Yep, which is bad, if you didn't intend this to happen.

We deal with this "badness" every day.  So I think this is a downside
that is very minor and can be disregarded when more serious issues are
at hand.



  reply	other threads:[~2016-10-10  6:23 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
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 [this message]
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

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

  git send-email \
    --in-reply-to=83wphgen7n.fsf@gnu.org \
    --to=eliz@gnu.org \
    --cc=a.s@realize.ch \
    --cc=emacs-devel@gnu.org \
    --cc=monnier@iro.umontreal.ca \
    --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 external index

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

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.