From mboxrd@z Thu Jan 1 00:00:00 1970 From: Matthew Sauer Subject: Re: Orgmode performance problem and "solution" Date: Wed, 26 Oct 2011 15:31:32 -0500 Message-ID: References: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=f46d04440162a6870904b0398a1b Return-path: Received: from eggs.gnu.org ([140.186.70.92]:60141) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RJA8N-0002ks-ST for emacs-orgmode@gnu.org; Wed, 26 Oct 2011 16:31:36 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RJA8M-00034u-Bz for emacs-orgmode@gnu.org; Wed, 26 Oct 2011 16:31:35 -0400 Received: from mail-ey0-f169.google.com ([209.85.215.169]:42564) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RJA8M-00034a-7Q for emacs-orgmode@gnu.org; Wed, 26 Oct 2011 16:31:34 -0400 Received: by eye4 with SMTP id 4so2174366eye.0 for ; Wed, 26 Oct 2011 13:31:32 -0700 (PDT) In-Reply-To: List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: Dave Abrahams Cc: "emacs-orgmode@gnu.org" --f46d04440162a6870904b0398a1b Content-Type: text/plain; charset=ISO-8859-1 Yes, after the pull, cleaning, then making would have to be done. I believe everyone wass aware of that but the concern here was how to switch grom a lagging repo to the more up to date repo for the pull. On Wednesday, October 26, 2011, Dave Abrahams wrote: > > on Wed Oct 26 2011, suvayu ali wrote: > >> On Wed, Oct 26, 2011 at 10:07, Rainer Stengele >> wrote: >>> Lacking knowledge of git I deleted everything, cloned from the new repo and compiled the files. >>> Result was a significantly faster Org experience. >>> >> >> For future reference, a sinple `git pull` would have sufficed. > > Not if there were compiled files. > > -- > Dave Abrahams > BoostPro Computing > http://www.boostpro.com > > > --f46d04440162a6870904b0398a1b Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Yes, after the pull, cleaning, then making would have to be done. =A0 I bel= ieve everyone wass aware of that but the concern here was how to switch gro= m a lagging repo to the more up to date repo for the pull.

On Wednes= day, October 26, 2011, Dave Abrahams <dave@boostpro.com> wrote:
>
> on Wed Oct 26 2011, suvayu ali <fatkasuvayu+linux-AT-gmail.= com> wrote:
>
>> On Wed, Oct 26, 2011 at 10:07, Rainer St= engele
>> <rainer.= stengele@online.de> wrote:
>>> Lacking knowledge of git I deleted everything, cloned from the= new repo and compiled the files.
>>> Result was a significantl= y faster Org experience.
>>>
>>
>> For future= reference, a sinple `git pull` would have sufficed.
>
> Not if there were compiled files.
>
> --
> D= ave Abrahams
> BoostPro Computing
> http://www.boostpro.com
>
>
> --f46d04440162a6870904b0398a1b--