[doc] Re: INSTALL document for development versions

[Scott Martin]

Sure it is:

RENAME(1)           Linux Programmer's Manual           RENAME(1)

NAME
       rename - Rename files

SYNOPSIS
       rename from to file...

DESCRIPTION
       rename  will  rename  the specified files by replacing the
       first occurrence of from in their name by to.

       For example, given the files foo1, ..., foo9, foo10,  ...,
       foo278, the commands

              rename foo foo0 foo?
              rename foo foo0 foo??

       will  turn  them  into  foo001,  ..., foo009, foo010, ...,
       foo278.

       And
              rename .htm .html *.htm

       will fix the extension of your html files.

SEE ALSO
       mv(1)

                          1 Januari 2000                        1

(END)
----- Original Message -----
From: "Brent J. Nordquist" <bjn@horde.org>
To: <doc@lists.horde.org>
Sent: Wednesday, November 01, 2000 9:58 AM
Subject: Re: [doc] Re: INSTALL document for development versions


> On Wed, 1 Nov 2000, Scott Martin <martin@math.ohiou.edu> wrote:
>
> > Here was my motivation behind that renaming. I figured if you rename the
> > *.php.dist to *.php, once you update the CVS again, you will have your
> > *.php.dist files back if you need them, so that's why I did that. Is
that
> > what you're referring to?
>
> No; I just meant that you said "Type: ... rename php.dist php *" and that
> isn't a legal command.  Everyplace else you're giving actual commands to
> type, rather than logical directions.
>
> > > ----snip----
> > > Now, we have the Horde, IMP and Turba source. Let's put our default
> > > configuration files into place. Type:
> > >
> > > cd /horde/config
> > > rename php.dist php *
> > > cd /imp/config
> > > rename php.dist php *
> > > cd /turba/config
> > > rename php.dist php *
> > > ----snip----
>
> --
> Brent J. Nordquist <bjn@horde.org>
> Yahoo!: Brent_Nordquist / AIM: BrentJNordquist / ICQ: 76158942
>
>
> --
> Doc mailing list: http://docs.horde.org/
> Frequently Asked Questions: http://horde.org/faq/
> To unsubscribe, mail: doc-unsubscribe@lists.horde.org
>
>