[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Resources for an old newbie ?
From: |
Michael Heerdegen |
Subject: |
Re: Resources for an old newbie ? |
Date: |
Thu, 01 Jun 2023 00:07:56 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Platon Pronko <platon7pronko@gmail.com> writes:
> > Anyway, as you now see below beyond doubt, it is
> > a trivial affair.
>
> Sure it is :)
> But imagine what happens if after half-an hour of compilation
> inexperienced user
> is presented with "Org version mismatch error", as I have been several
> times before.
Yes, such things, exactly. Emanuel probably only can imagine good
hackers, exceptional hackers, normal hackers, and not-that-good hackers.
> (still tracking that error down, for now I usually "solve it" by `git
> clean -dxf` and thus full rebuild, but that's non-optimal)
AFAIU it's enough to recompile Org (i.e. remove all the org .elc's
before "make").
Michael.
- Re: Resources for an old newbie ?, (continued)
- Re: Resources for an old newbie ?, Robby Zambito, 2023/05/27
- Re: Resources for an old newbie ?, David Masterson, 2023/05/29
- Re: Resources for an old newbie ?, Michael Heerdegen, 2023/05/27
- Re: Resources for an old newbie ?, David Masterson, 2023/05/29
- Re: Resources for an old newbie ?, Michael Heerdegen, 2023/05/29
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/05/30
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/05/30
- Re: Resources for an old newbie ?, Platon Pronko, 2023/05/30
- Re: Resources for an old newbie ?,
Michael Heerdegen <=
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/05/31
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/05/30
- Re: Resources for an old newbie ?, tomas, 2023/05/26
- Re: Resources for an old newbie ?, Robert Pluim, 2023/05/26
- Re: Resources for an old newbie ?, tomas, 2023/05/26
- Re: Resources for an old newbie ?, Robert Pluim, 2023/05/26
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/05/27