diff options
author | Javier Jardón <jjardon@gnome.org> | 2015-04-13 18:29:36 +0100 |
---|---|---|
committer | Baserock Gerrit <gerrit@baserock.org> | 2015-04-28 16:05:16 +0000 |
commit | 8a56b40116e96905c1cb8d84c231f858a3ff8388 (patch) | |
tree | 1421a410e80ec005869653c409a3143eadd0bde8 /install-essential-files.configure.help | |
parent | cea5244d54568d4ac0e0182c754c623a0fdae79e (diff) | |
download | definitions-8a56b40116e96905c1cb8d84c231f858a3ff8388.tar.gz |
Add install-essential-files configuration extension
This is meant to add essential system files like
/etc/profile, /etc/os-release ...
Change-Id: I3d67b3a452b32205c5d3c7303d128bda80ce75de
Diffstat (limited to 'install-essential-files.configure.help')
-rw-r--r-- | install-essential-files.configure.help | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/install-essential-files.configure.help b/install-essential-files.configure.help new file mode 100644 index 00000000..1d123839 --- /dev/null +++ b/install-essential-files.configure.help @@ -0,0 +1,20 @@ +# Copyright (C) 2015 Codethink Limited +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; version 2 of the License. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License along +# with this program; if not, see <http://www.gnu.org/licenses/>. + +help: | + This installs files from the essential-files/ folder in your definitions.git + repo, according to essential-files/manifest. + + It wraps the install-files.configure extension. Take a look to that + extension help to know more about the format of the manifest file. |