[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Resources for an old newbie ?
From: |
Platon Pronko |
Subject: |
Re: Resources for an old newbie ? |
Date: |
Wed, 31 May 2023 11:12:07 +0800 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.11.2 |
On 2023-05-31 07:24, Emanuel Berg wrote:
# 4. refresh source/upgrade
cd $emacs_dir
git fetch
git merge
Why fetch and merge instead of `git pull`?
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.
(still tracking that error down, for now I usually "solve it" by `git clean
-dxf` and thus full rebuild, but that's non-optimal)
--
Best regards,
Platon Pronko
PGP 2A62D77A7A2CB94E
- 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 <=
- Re: Resources for an old newbie ?, Michael Heerdegen, 2023/05/31
- 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