summary refs log tree commit diff
path: root/debian/po/es.po
blob: 0f4240ee17c8e58e571e881dc19fe62c01e1db26 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
#
#    Translators, if you are not familiar with the PO format, gettext
#    documentation is worth reading, especially sections dedicated to
#    this format, e.g. by running:
#         info -n '(gettext)PO Files'
#         info -n '(gettext)Header Entry'
#
#    Some information specific to po-debconf are available at
#            /usr/share/doc/po-debconf/README-trans
#         or http://www.debian.org/intl/l10n/po-debconf/README-trans
#
#    Developers do not need to manually edit POT or PO files.
#
# Carlos Valdivia Yagüe <valyag@dat.etsit.upm.es>, 2003
#
msgid ""
msgstr ""
"Project-Id-Version: dash 0.4.18\n"
"Report-Msgid-Bugs-To: \n"
"POT-Creation-Date: 2003-06-30 15:33+0200\n"
"PO-Revision-Date: 2003-10-18 05:45+0200\n"
"Last-Translator: Carlos Valdivia Yagüe <valyag@dat.etsit.upm.es>\n"
"Language-Team: Debian L10n Spanish <debian-l10n-spanish@lists.debian.org>\n"
"MIME-Version: 1.0\n"
"Content-Type: text/plain; charset=ISO-8859-15\n"
"Content-Transfer-Encoding: 8bit\n"

#. Description
#: ../dash.templates:4
msgid "Install dash as /bin/sh?"
msgstr "¿Instalar dash como /bin/sh?"

#. Description
#: ../dash.templates:4
msgid ""
"Bash is the default /bin/sh on a Debian system.  However, since our policy "
"requires all shell scripts using /bin/sh to be POSIX compliant, any shell "
"that conforms to POSIX can serve as /bin/sh.  Since dash is POSIX compliant, "
"it can be used as /bin/sh.  You may wish to do this because dash is faster "
"and smaller than bash."
msgstr ""
"Bash es el intérprete de comandos /bin/sh predeterminado de los sistemas "
"Debian. Sin embargo, dado que nuestras normas obligan a que todos los "
"scripts para el intérprete de comandos se atengan a las normas POSIX, "
"cualquier intérprete compatible con POSIX puede servir como /bin/sh. Puesto "
"que dash lo es, puede usarse como /bin/sh, con la ventaja de ser más rápido "
"y pequeño que bash."