28 de setembre del 2014

XML: identat correcte a Geany

Geany és un excel·lent editor de programació que utilitzo habitualment si no necessito treballar amb un entorn específic. Fins ara, una de les poques pegues que hi havia trobat era que no indentava automàticament els fitxers XML:



Però es pot solucionar fàcilment gràcies a l'execució de comandes externes i el programa xmlindent. En primer lloc, instal·lem aquesta darrera eina:
$ sudo apt-get install xmlindent

I llavors afegim la comanda al Geany, a Edita ->Formata -> Envia la Selecció a... -> Indica Ordre Pròpia i afegim:
xmlindent -i 4 -f

Amb això, ja ens l'haurà afegit. Ara la podem invocar des del menú, o amb l'abreviació de teclat corresponent (Ctrl+1 si és la primera ordre). Seleccionem tot el text, invoquem l'ordre, i el resultat:




Evidentment, podem jugar amb les opcions de xmlindent, o fins i tot utilitzar altres eines amb la mateixa tècnica per a obtenir el resultat desitjat.

Ja comentareu si us ha servit o utilitzeu altres eines o programes !

21 de setembre del 2014

ERROR: Ubuntu es queda esperant una tecla per arrencar [SOLUCIONAT]

Aquesta setmana he tingut un problema amb un servidor que no va arrencar. Vaig haver d'accedir-hi físicament, armat amb teclat i pantalla, per comprovar que simplement estava en el menú del GRUB, esperant una tecla per continuar!!!

Però si hi tinc posat un timeout! Havia d'arrencar sol al cap de tres segons. Cercant sobre el tema, de seguida vaig trobar un bug relacionat que em va portar a un altre bug on es descriu la font del problema: bàsicament, que s'ha afegit l'espera (infinita per defecte) d'una tecla quan el sistema no es va tancar correctament.

En resum, em va recordar allò de "no és una errada, és una prestació".

Per sort, conegut el problema, la solució és ben fàcil, ja que també es va introduir un opció per canviar el temps d'espera, o eliminar-lo completament. Vaja, una altra opció del GRUB que per desgràcia no ve en les configuracions per defecte.

Per solucionar-ho, editem el fitxer de configuració del GRUB a /etc/default/grub i afegim la línia (posant el timeout que vulgueu):
GRUB_RECORDFAIL_TIMEOUT=10
Tot seguit actualitzem amb les noves opcions:
$ sudo update-grub
I ja ho tenim solucionat!