[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] Bash script to update - only make when update there?
From: |
Nick Dokos |
Subject: |
Re: [O] Bash script to update - only make when update there? |
Date: |
Tue, 10 Dec 2013 10:59:07 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
Rainer M Krug <address@hidden> writes:
> Hi
>
> I have a question concerning a bash script to update org (and ess in
> the same way but in a different script).
>
> The script I use to update org looks as follow:
>
> #!/bin/sh
> cd ~/.emacs.d/org-git
>
> ####
> #!/bin/sh
> git checkout master
> make update
> ####
>
> which works nicely, but I would like to only execute the "make update"
> if git updated something - I am sure this is possible, but how?
>
It seems to me that the dependencies are not dealt with correctly in the
Makefile, so after the git pull (whether that did anything or not),
``make update'' rebuilds everything. Ideally, it should figure out what
needs rebuilding and just do that - then you wouldn't need anything
more. OTOH, CPU cycles are cheap and rebuilding everything only takes 12
seconds on my laptop, so should we really care?
Be that as it may, you can try something like this hack (those are backticks
around the git pull - it's under the ESC key in the upper left hand
corner on most US keyboards but it may be somewhere else on yours):
if [ "`git pull`" == "Already up-to-date" ]
then
echo "Up to date"
else
make update
fi
Nick
- [O] Bash script to update - only make when update there?, Rainer M Krug, 2013/12/10
- Re: [O] Bash script to update - only make when update there?,
Nick Dokos <=
- Re: [O] Bash script to update - only make when update there?, Rainer M Krug, 2013/12/10
- Re: [O] Bash script to update - only make when update there?, Nick Dokos, 2013/12/10
- Re: [O] Bash script to update - only make when update there?, Rainer M Krug, 2013/12/10
- Re: [O] Bash script to update - only make when update there?, Samuel Wales, 2013/12/10
- Re: [O] Bash script to update - only make when update there?, Rainer M Krug, 2013/12/12
- Re: [O] Bash script to update - only make when update there?, Suvayu Ali, 2013/12/12
- Re: [O] Bash script to update - only make when update there?, Rainer M Krug, 2013/12/13
Re: [O] Bash script to update - only make when update there?, Achim Gratz, 2013/12/10