Re: systemd y hostname SOLUCIONADO

2016-12-09 Por tema Antonio Trujillo Carmona
El 07/12/16 a las 18:58, Javier Barroso escribió:
> Hola,
>
> 2016-12-07 13:42 GMT+01:00 Antonio Trujillo Carmona
> :
>> El 07/12/16 a las 10:53, Javier Barroso escribió:
>>> Hola,
>>>
>>> 2016-12-07 10:01 GMT+01:00 Antonio Trujillo Carmona
>>> :
 El 05/12/16 a las 18:56, Santiago Vila escribió:
> On Mon, Dec 05, 2016 at 01:29:55PM +0100, Antonio Trujillo Carmona wrote:
>
>> # cat /etc/hosts
>> 127.0.0.1debian.hvn.sas.junta-andalucia.es debian
>> 127.0.0.1localhost
> Yo no le echaría la culpa a systemd.
> No pongas 127.0.0.1 en la primera línea.
>
> Si no quieres poner la IP pública (que es lo más ortodoxo),
> pon algo así, que es lo que hace el propio instalador cuando
> no sabe la IP:
>
> 127.0.1.1debian.bla.bla debian
>
>
 Eso ya lo había intentado pero no da resultado, ni cambiar el orde de
 las filas, ni añadir un nombre para 127.0.1.1.

 Lo mas curioso es que el servidor de DHCP registra al cliente como
 "debian", ¿de donde se saca el hostnamectl ese "Transient hostname" que
 tiene preferencia sobre el /etc/hostname y sobre la resolucón dns?

 por cierto en el /etc/nsswitch.conf pone:

 hosts:  files mdns4_minimal [NOTFOUND=return] dns ldap

 $ hostnamectl
Static hostname: debian
 Transient hostname: localhost
>>> ¿Has probado hostnamectl --transient set-hostname debian?
>>>
>>> Yo creo que simplemente "hostname debian" debería funcionar. En sid de
>>> hecho funciona (hostname debian; hostname; abrir un nuevo terminal y
>>> aparece debian como hostname, no he probado a reiniciar, pero según el
>>> manual sería hostname -b debian)
>> Si, de hecho para salir del paso en rc.local he puesto:
>> hostnamectl set-hostname debian
>> pero me parece una chapuza reescribir el nombre
 La ip "publica" no puedo ponerla por funcionar por dhcp.
 El echarle la culpa a systemd, cosa que ha sido un poco aventurada por
 mi parte, viene al hecho de haberme topado por primera vez con
 hostnamectl, lo que me hizo creer que era similar a systemctl y por lo
 tanto parte de systemd.
>>> Parece que Lennart sí que está por medio ... en el man:
>>>
>>> This tool distinguishes three different hostnames: the high-level
>>>"pretty" hostname which might include all kinds of special characters
>>>(e.g. "Lennart's Laptop") 
>>>
 Si lo importante es el /etc/hosts ¿para que sirve el /etc/hostname?
>>> Por qué puedes llamar al equipo de un nombre y luego tener varios
>>> aliases ? Y para desvincular la dirección del nombre. Ten en cuenta
>>> que el equipo puede que no tenga ninguna ip (aunque la de loopback es
>>> necesaria para muchas aplicaciones)
>>>
>>> Saludos
>>>
>>>
>> Yo tengo claro que un equipo puede tener varias ips dependiendo de donde
>> se conecte, incluso que pueda cambiar de nombre dependiendo de su
>> ubicación, pero hasta ahora el hostname "por defecto" se configuraba en
>> hostname y el fichero hosts se usaba para hacer resoluciones dns sin
>> tener conexión con un servidor (o aunque la hubiera para reescribirlas),
>> pudiendo cambiarse los valores temporal o permanentemente por medio de
>> procesos que se lanzaban cuando se establecía una conexión de red, pero
>> ahora parece (a mi me pasa) que la cosa ha cambiado y no consigo
>> entender el como ni el porque.
>> ¿Donde o como hay que decirle cual es el hostname a una maquina para que
>> no lo cambie?.
> ¿Puedes probar a temporalmente configurar la red de forma estática sin
> tirar/deshabilitar del dhcp, que es una de las fuentes que te puede
> configurar el hostname?
>
> ¿Te da pistas un dmesg  | grep hostname ?
>
> Saludos
>
>

# dmesg |grep hostname
[7.119777] systemd[1]: No hostname configured.
[7.119885] systemd[1]: Set hostname to .

Perdonar por el ruido, era culpa mía.
Como estoy montando un sistema de terminales "pesados" el sistema lo
quiero montar con "fsprotec" pero quiero poder cambiar algunas
configuraciones como el hostname y el printer.conf, como el sistema raiz
es imposible de reescribir cuando se arranca con el fsprotect se me
ocurrió sacar esos ficheros a otra partición que por defecto la montaría
con ro pero que es susceptible de ser cambiada con un mount -o
remount,rw en el momento que sea necesario (el fsprotect no lo es), esto
provocaba que en el momento de decidir el hostname todavia no estaba
montada la partición y por lo tanto, tal y como decía el systemd, en ese
momento no estubiera configurado y el le asignara "localhost" configurado.
Otra vez perdón y gracias por las ayudas.

-- 

*Antonio Trujillo Carmona*

*Técnico de redes y sistemas.*

*Subdirección de Tecnologías de la Información y Comunicaciones*

Servicio Andaluz de Salud. Consejería de Salud de la Junta de Andalucía

_antonio.trujillo.sspa@juntadeandalucia.es_

Tel. +34 670947670 747670)





Re: systemd y hostname

2016-12-07 Por tema Javier Barroso
Hola,

2016-12-07 13:42 GMT+01:00 Antonio Trujillo Carmona
:
> El 07/12/16 a las 10:53, Javier Barroso escribió:
>> Hola,
>>
>> 2016-12-07 10:01 GMT+01:00 Antonio Trujillo Carmona
>> :
>>> El 05/12/16 a las 18:56, Santiago Vila escribió:
 On Mon, Dec 05, 2016 at 01:29:55PM +0100, Antonio Trujillo Carmona wrote:

> # cat /etc/hosts
> 127.0.0.1debian.hvn.sas.junta-andalucia.es debian
> 127.0.0.1localhost
 Yo no le echaría la culpa a systemd.
 No pongas 127.0.0.1 en la primera línea.

 Si no quieres poner la IP pública (que es lo más ortodoxo),
 pon algo así, que es lo que hace el propio instalador cuando
 no sabe la IP:

 127.0.1.1debian.bla.bla debian


>>> Eso ya lo había intentado pero no da resultado, ni cambiar el orde de
>>> las filas, ni añadir un nombre para 127.0.1.1.
>>>
>>> Lo mas curioso es que el servidor de DHCP registra al cliente como
>>> "debian", ¿de donde se saca el hostnamectl ese "Transient hostname" que
>>> tiene preferencia sobre el /etc/hostname y sobre la resolucón dns?
>>>
>>> por cierto en el /etc/nsswitch.conf pone:
>>>
>>> hosts:  files mdns4_minimal [NOTFOUND=return] dns ldap
>>>
>>> $ hostnamectl
>>>Static hostname: debian
>>> Transient hostname: localhost
>> ¿Has probado hostnamectl --transient set-hostname debian?
>>
>> Yo creo que simplemente "hostname debian" debería funcionar. En sid de
>> hecho funciona (hostname debian; hostname; abrir un nuevo terminal y
>> aparece debian como hostname, no he probado a reiniciar, pero según el
>> manual sería hostname -b debian)
> Si, de hecho para salir del paso en rc.local he puesto:
> hostnamectl set-hostname debian
> pero me parece una chapuza reescribir el nombre
>>
>>> La ip "publica" no puedo ponerla por funcionar por dhcp.
>>> El echarle la culpa a systemd, cosa que ha sido un poco aventurada por
>>> mi parte, viene al hecho de haberme topado por primera vez con
>>> hostnamectl, lo que me hizo creer que era similar a systemctl y por lo
>>> tanto parte de systemd.
>> Parece que Lennart sí que está por medio ... en el man:
>>
>> This tool distinguishes three different hostnames: the high-level
>>"pretty" hostname which might include all kinds of special characters
>>(e.g. "Lennart's Laptop") 
>>
>>>
>>> Si lo importante es el /etc/hosts ¿para que sirve el /etc/hostname?
>> Por qué puedes llamar al equipo de un nombre y luego tener varios
>> aliases ? Y para desvincular la dirección del nombre. Ten en cuenta
>> que el equipo puede que no tenga ninguna ip (aunque la de loopback es
>> necesaria para muchas aplicaciones)
>>
>> Saludos
>>
>>
> Yo tengo claro que un equipo puede tener varias ips dependiendo de donde
> se conecte, incluso que pueda cambiar de nombre dependiendo de su
> ubicación, pero hasta ahora el hostname "por defecto" se configuraba en
> hostname y el fichero hosts se usaba para hacer resoluciones dns sin
> tener conexión con un servidor (o aunque la hubiera para reescribirlas),
> pudiendo cambiarse los valores temporal o permanentemente por medio de
> procesos que se lanzaban cuando se establecía una conexión de red, pero
> ahora parece (a mi me pasa) que la cosa ha cambiado y no consigo
> entender el como ni el porque.
> ¿Donde o como hay que decirle cual es el hostname a una maquina para que
> no lo cambie?.

¿Puedes probar a temporalmente configurar la red de forma estática sin
tirar/deshabilitar del dhcp, que es una de las fuentes que te puede
configurar el hostname?

¿Te da pistas un dmesg  | grep hostname ?

Saludos



Re: systemd y hostname

2016-12-07 Por tema Antonio Trujillo Carmona
El 07/12/16 a las 10:53, Javier Barroso escribió:
> Hola,
>
> 2016-12-07 10:01 GMT+01:00 Antonio Trujillo Carmona
> :
>> El 05/12/16 a las 18:56, Santiago Vila escribió:
>>> On Mon, Dec 05, 2016 at 01:29:55PM +0100, Antonio Trujillo Carmona wrote:
>>>
 # cat /etc/hosts
 127.0.0.1debian.hvn.sas.junta-andalucia.es debian
 127.0.0.1localhost
>>> Yo no le echaría la culpa a systemd.
>>> No pongas 127.0.0.1 en la primera línea.
>>>
>>> Si no quieres poner la IP pública (que es lo más ortodoxo),
>>> pon algo así, que es lo que hace el propio instalador cuando
>>> no sabe la IP:
>>>
>>> 127.0.1.1debian.bla.bla debian
>>>
>>>
>> Eso ya lo había intentado pero no da resultado, ni cambiar el orde de
>> las filas, ni añadir un nombre para 127.0.1.1.
>>
>> Lo mas curioso es que el servidor de DHCP registra al cliente como
>> "debian", ¿de donde se saca el hostnamectl ese "Transient hostname" que
>> tiene preferencia sobre el /etc/hostname y sobre la resolucón dns?
>>
>> por cierto en el /etc/nsswitch.conf pone:
>>
>> hosts:  files mdns4_minimal [NOTFOUND=return] dns ldap
>>
>> $ hostnamectl
>>Static hostname: debian
>> Transient hostname: localhost
> ¿Has probado hostnamectl --transient set-hostname debian?
>
> Yo creo que simplemente "hostname debian" debería funcionar. En sid de
> hecho funciona (hostname debian; hostname; abrir un nuevo terminal y
> aparece debian como hostname, no he probado a reiniciar, pero según el
> manual sería hostname -b debian)
Si, de hecho para salir del paso en rc.local he puesto:
hostnamectl set-hostname debian
pero me parece una chapuza reescribir el nombre
>
>> La ip "publica" no puedo ponerla por funcionar por dhcp.
>> El echarle la culpa a systemd, cosa que ha sido un poco aventurada por
>> mi parte, viene al hecho de haberme topado por primera vez con
>> hostnamectl, lo que me hizo creer que era similar a systemctl y por lo
>> tanto parte de systemd.
> Parece que Lennart sí que está por medio ... en el man:
>
> This tool distinguishes three different hostnames: the high-level
>"pretty" hostname which might include all kinds of special characters
>(e.g. "Lennart's Laptop") 
>
>>
>> Si lo importante es el /etc/hosts ¿para que sirve el /etc/hostname?
> Por qué puedes llamar al equipo de un nombre y luego tener varios
> aliases ? Y para desvincular la dirección del nombre. Ten en cuenta
> que el equipo puede que no tenga ninguna ip (aunque la de loopback es
> necesaria para muchas aplicaciones)
>
> Saludos
>
>
Yo tengo claro que un equipo puede tener varias ips dependiendo de donde
se conecte, incluso que pueda cambiar de nombre dependiendo de su
ubicación, pero hasta ahora el hostname "por defecto" se configuraba en
hostname y el fichero hosts se usaba para hacer resoluciones dns sin
tener conexión con un servidor (o aunque la hubiera para reescribirlas),
pudiendo cambiarse los valores temporal o permanentemente por medio de
procesos que se lanzaban cuando se establecía una conexión de red, pero
ahora parece (a mi me pasa) que la cosa ha cambiado y no consigo
entender el como ni el porque.
¿Donde o como hay que decirle cual es el hostname a una maquina para que
no lo cambie?.
En el momento de la instalación a esta maquina la llame "debian"
(pensando en cambiarlo después cuando la clonara) pero para mi sorpresa
ha reescrito su nombre a "localhost", y no se porque.
los paquetes que tiene instalados son:

*fbi xloadimage freerdp-x11 xinit nslcd ocsinventory-agent zenity wmctrl
libpam-script molly-guard wpasupplicant acpid ntp sudo
firmware-linux-nonfree dosfstools lighttpd x11-xserver-utils
firmware-realtek cups aufs-tools fsprotect tigervnc-scraping-server*

A parte de la instalación básica + ssh


-- 

*Antonio Trujillo Carmona*

*Técnico de redes y sistemas.*

*Subdirección de Tecnologías de la Información y Comunicaciones*

Servicio Andaluz de Salud. Consejería de Salud de la Junta de Andalucía

_antonio.trujillo.sspa@juntadeandalucia.es_

Tel. +34 670947670 747670)





Re: systemd y hostname

2016-12-07 Por tema Javier Barroso
Hola,

2016-12-07 10:01 GMT+01:00 Antonio Trujillo Carmona
:
> El 05/12/16 a las 18:56, Santiago Vila escribió:
>> On Mon, Dec 05, 2016 at 01:29:55PM +0100, Antonio Trujillo Carmona wrote:
>>
>>> # cat /etc/hosts
>>> 127.0.0.1debian.hvn.sas.junta-andalucia.es debian
>>> 127.0.0.1localhost
>> Yo no le echaría la culpa a systemd.
>> No pongas 127.0.0.1 en la primera línea.
>>
>> Si no quieres poner la IP pública (que es lo más ortodoxo),
>> pon algo así, que es lo que hace el propio instalador cuando
>> no sabe la IP:
>>
>> 127.0.1.1debian.bla.bla debian
>>
>>
>
> Eso ya lo había intentado pero no da resultado, ni cambiar el orde de
> las filas, ni añadir un nombre para 127.0.1.1.
>
> Lo mas curioso es que el servidor de DHCP registra al cliente como
> "debian", ¿de donde se saca el hostnamectl ese "Transient hostname" que
> tiene preferencia sobre el /etc/hostname y sobre la resolucón dns?
>
> por cierto en el /etc/nsswitch.conf pone:
>
> hosts:  files mdns4_minimal [NOTFOUND=return] dns ldap
>
> $ hostnamectl
>Static hostname: debian
> Transient hostname: localhost

¿Has probado hostnamectl --transient set-hostname debian?

Yo creo que simplemente "hostname debian" debería funcionar. En sid de
hecho funciona (hostname debian; hostname; abrir un nuevo terminal y
aparece debian como hostname, no he probado a reiniciar, pero según el
manual sería hostname -b debian)

>
> La ip "publica" no puedo ponerla por funcionar por dhcp.

>
> El echarle la culpa a systemd, cosa que ha sido un poco aventurada por
> mi parte, viene al hecho de haberme topado por primera vez con
> hostnamectl, lo que me hizo creer que era similar a systemctl y por lo
> tanto parte de systemd.

Parece que Lennart sí que está por medio ... en el man:

This tool distinguishes three different hostnames: the high-level
   "pretty" hostname which might include all kinds of special characters
   (e.g. "Lennart's Laptop") 

>
>
> Si lo importante es el /etc/hosts ¿para que sirve el /etc/hostname?

Por qué puedes llamar al equipo de un nombre y luego tener varios
aliases ? Y para desvincular la dirección del nombre. Ten en cuenta
que el equipo puede que no tenga ninguna ip (aunque la de loopback es
necesaria para muchas aplicaciones)

Saludos



Re: systemd y hostname

2016-12-07 Por tema Antonio Trujillo Carmona
El 05/12/16 a las 18:56, Santiago Vila escribió:
> On Mon, Dec 05, 2016 at 01:29:55PM +0100, Antonio Trujillo Carmona wrote:
>
>> # cat /etc/hosts
>> 127.0.0.1debian.hvn.sas.junta-andalucia.es debian
>> 127.0.0.1localhost
> Yo no le echaría la culpa a systemd.
> No pongas 127.0.0.1 en la primera línea.
>
> Si no quieres poner la IP pública (que es lo más ortodoxo),
> pon algo así, que es lo que hace el propio instalador cuando
> no sabe la IP:
>
> 127.0.1.1debian.bla.bla debian
>
>

Eso ya lo había intentado pero no da resultado, ni cambiar el orde de
las filas, ni añadir un nombre para 127.0.1.1.

Lo mas curioso es que el servidor de DHCP registra al cliente como
"debian", ¿de donde se saca el hostnamectl ese "Transient hostname" que
tiene preferencia sobre el /etc/hostname y sobre la resolucón dns?

por cierto en el /etc/nsswitch.conf pone:

hosts:  files mdns4_minimal [NOTFOUND=return] dns ldap

$ hostnamectl
   Static hostname: debian
Transient hostname: localhost

La ip "publica" no puedo ponerla por funcionar por dhcp.

El echarle la culpa a systemd, cosa que ha sido un poco aventurada por
mi parte, viene al hecho de haberme topado por primera vez con
hostnamectl, lo que me hizo creer que era similar a systemctl y por lo
tanto parte de systemd.


Si lo importante es el /etc/hosts ¿para que sirve el /etc/hostname?

-- 

*Antonio Trujillo Carmona*

*Técnico de redes y sistemas.*

*Subdirección de Tecnologías de la Información y Comunicaciones*

Servicio Andaluz de Salud. Consejería de Salud de la Junta de Andalucía

_antonio.trujillo.sspa@juntadeandalucia.es_

Tel. +34 670947670 747670)





Re: systemd y hostname

2016-12-06 Por tema Jhosue rui
El día 5 de diciembre de 2016, 8:29, Antonio Trujillo Carmona
 escribió:
> El systemd me trae por la calle de la amargura.
>
> No consigo cambiar el hostname de un equipo con stretch.
>
> en /etc/hostname esta el correcto:
>
> # cat /etc/hosts
> 127.0.0.1   debian.hvn.sas.junta-andalucia.es debian
>
> 127.0.0.1localhost
> ::1 localhost ip6-localhost ip6-loopback
> ff02::1 ip6-allnodes
> ff02::2 ip6-allrouters
>
> en /etc/hosts esta lo corecto:
>
> # cat /etc/hostname
> debian
>
> siguiendo instrucciones de "https://wiki.debian.org/HowTo/ChangeHostname;
>
> lo cambio con "# hostnamectl set-hostname debian"
>
> pero no hay manera, tras rebootear  siempre me arranca con hostname =
> "localhost" y:
>
> # hostnamectl
>Static hostname: debian
> Transient hostname: localhost
>  Icon name: computer-desktop
>Chassis: desktop
> Machine ID: ff2425a9345a4d61b97adc27200c5ed4
>Boot ID: 13aa54851fb54aa89241aaeae0b1b673
>   Operating System: Debian GNU/Linux stretch/sid
> Kernel: Linux 4.8.0-1-amd64
>   Architecture: x86-64
>
>
>
> --
>
> *Antonio Trujillo Carmona*
>
> *Técnico de redes y sistemas.*
>
> *Subdirección de Tecnologías de la Información y Comunicaciones*
>
> Servicio Andaluz de Salud. Consejería de Salud de la Junta de Andalucía
>
> _antonio.trujillo.sspa@juntadeandalucia.es_
>
> Tel. +34 670947670 747670)
>
>
>

Puede que esta vez systemd no sea el culpable, creo que la respuesta a
esto está en nuestro venerable manual
https://www.debian.org/doc/manuals/debian-reference/ch05.en.html#_the_hostname_resolution

-- 

Por favor, NO utilice formatos de archivo propietarios para el
intercambio de documentos, como DOC y XLS, sino HTML, PDF, TXT, CSV o
cualquier otro que no obligue a utilizar un programa de un fabricante
en concreto.
Internet Explorer y Outlook son muy peligrosos por sus continuos
problemas de seguridad. Utilice alternativas libres:
http://www.mozillaes.org/

Usuario linux registrado #387231
http://counter.li.org

Por favor evite enviar adjuntos de powerpoint y word vea
http://www.gnu.org/philosophy/no-word-attachments.es.html



Re: systemd y hostname

2016-12-05 Por tema Santiago Vila
On Mon, Dec 05, 2016 at 01:29:55PM +0100, Antonio Trujillo Carmona wrote:

> # cat /etc/hosts
> 127.0.0.1debian.hvn.sas.junta-andalucia.es debian
> 127.0.0.1localhost

Yo no le echaría la culpa a systemd.
No pongas 127.0.0.1 en la primera línea.

Si no quieres poner la IP pública (que es lo más ortodoxo),
pon algo así, que es lo que hace el propio instalador cuando
no sabe la IP:

127.0.1.1debian.bla.bla debian



Re: systemd y hostname

2016-12-05 Por tema fernando sainz
El día 5 de diciembre de 2016, 13:29, Antonio Trujillo Carmona
 escribió:
> El systemd me trae por la calle de la amargura.
>
> No consigo cambiar el hostname de un equipo con stretch.
>
> en /etc/hostname esta el correcto:
>
> # cat /etc/hosts
> 127.0.0.1   debian.hvn.sas.junta-andalucia.es debian
>
> 127.0.0.1localhost
> ::1 localhost ip6-localhost ip6-loopback
> ff02::1 ip6-allnodes
> ff02::2 ip6-allrouters
>
> en /etc/hosts esta lo corecto:
>
> # cat /etc/hostname
> debian
>
> siguiendo instrucciones de "https://wiki.debian.org/HowTo/ChangeHostname;
>
> lo cambio con "# hostnamectl set-hostname debian"
>
> pero no hay manera, tras rebootear  siempre me arranca con hostname =
> "localhost" y:
>
> # hostnamectl
>Static hostname: debian
> Transient hostname: localhost
>  Icon name: computer-desktop
>Chassis: desktop
> Machine ID: ff2425a9345a4d61b97adc27200c5ed4
>Boot ID: 13aa54851fb54aa89241aaeae0b1b673
>   Operating System: Debian GNU/Linux stretch/sid
> Kernel: Linux 4.8.0-1-amd64
>   Architecture: x86-64
>
>
>
> --
>
> *Antonio Trujillo Carmona*
>
> *Técnico de redes y sistemas.*
>
> *Subdirección de Tecnologías de la Información y Comunicaciones*
>
> Servicio Andaluz de Salud. Consejería de Salud de la Junta de Andalucía
>
> _antonio.trujillo.sspa@juntadeandalucia.es_
>
> Tel. +34 670947670 747670)
>
>
>


No se, eso de tener varios nombres (static, transient...) viene de
este systemd que tan poco me gusta.

No es normal dar el dominio a la 127.0.0.1
Añade una ip clase C en /etc/hosts, tal que así :


127.0.0.1   localhost
192.168.1.2debian.tudominio.com   debian

y prueba.

S2.



systemd y hostname

2016-12-05 Por tema Antonio Trujillo Carmona
El systemd me trae por la calle de la amargura.

No consigo cambiar el hostname de un equipo con stretch.

en /etc/hostname esta el correcto:

# cat /etc/hosts
127.0.0.1   debian.hvn.sas.junta-andalucia.es debian

127.0.0.1localhost
::1 localhost ip6-localhost ip6-loopback
ff02::1 ip6-allnodes
ff02::2 ip6-allrouters

en /etc/hosts esta lo corecto:

# cat /etc/hostname
debian

siguiendo instrucciones de "https://wiki.debian.org/HowTo/ChangeHostname;

lo cambio con "# hostnamectl set-hostname debian"

pero no hay manera, tras rebootear  siempre me arranca con hostname =
"localhost" y:

# hostnamectl
   Static hostname: debian
Transient hostname: localhost
 Icon name: computer-desktop
   Chassis: desktop
Machine ID: ff2425a9345a4d61b97adc27200c5ed4
   Boot ID: 13aa54851fb54aa89241aaeae0b1b673
  Operating System: Debian GNU/Linux stretch/sid
Kernel: Linux 4.8.0-1-amd64
  Architecture: x86-64



-- 

*Antonio Trujillo Carmona*

*Técnico de redes y sistemas.*

*Subdirección de Tecnologías de la Información y Comunicaciones*

Servicio Andaluz de Salud. Consejería de Salud de la Junta de Andalucía

_antonio.trujillo.sspa@juntadeandalucia.es_

Tel. +34 670947670 747670)