1 |
В Птн, 24/06/2011 в 18:22 +0200, Jeroen Roovers пишет: |
2 |
> On Fri, 24 Jun 2011 10:29:51 +0400 |
3 |
> Peter Volkov <pva@g.o> wrote: |
4 |
> |
5 |
> > > src_prepare() { |
6 |
> > > echo "./logos/gentoo.logo" >> logo_config |
7 |
> > > echo "./logos/gentoo2.logo" >> logo_config |
8 |
> > > echo "./logos/banner-simplified.logo" >> logo_config |
9 |
> > > echo "./logos/banner.logo" >> logo_config |
10 |
> > > echo "./logos/classic-no_periods.logo" >> logo_config |
11 |
> > > echo "./logos/classic-no_periods_or_chars.logo" >> |
12 |
> > > logo_config echo "./logos/classic.logo" >> logo_config |
13 |
> > |
14 |
> > cat >> logo_config <<-EOF will look much better here. |
15 |
> |
16 |
> src_prepare() { |
17 |
> cat >> logo_config <<EOF |
18 |
> line0 |
19 |
> line1 |
20 |
> line2 |
21 |
> line3 |
22 |
> EOF |
23 |
> } |
24 |
> |
25 |
> Since I like indenting, I don't think so. Using FILESDIR is probably |
26 |
> better, as mgorny suggested. |
27 |
|
28 |
Note '-' before EOF. With it indenting works fine. See `info bash`: |
29 |
|
30 |
If the redirection operator is `<<-', then all leading tab |
31 |
characters are stripped from input lines and the line containing |
32 |
DELIMITER. This allows here-documents within shell scripts to be |
33 |
indented in a natural fashion. |
34 |
|
35 |
But ${FILESDIR} works too, although additional file IMO redundant. |
36 |
|
37 |
-- |
38 |
Peter. |