FIX: Can't export GPIO 4 (AVRDUDE Raspberry)

Por alguna razón avrdude falla cuando se intenta utilizar el Pin 4 como RESET en una conexión ICSP.
Y muestra el siguiente error:
Can't export GPIO 4, already exported/busy?: Device or resource busy
avrdude done.  Thank you.

Para solucionarlo puedes usar otro puerto. Yo he usado el GPIO 12 y me fue de maravillas.

Corregir error de Netbeans: The /conf/server.xml can't be read.

Cuando intentas agregar un servidor Tomcat 7 en Netbeans te sale el siguiente error:

SOLUCIÓN:

Explicación: Al parecer Netbeans está configurado para versiones viejas de Tomcat (inferiores a la 7) que tienen un directorio conf dentro de /usr/share/tomcat7

Para solucionarlo basta con crear un directorio conf dentro de /usr/share/tomcat7 y enlazar el fichero /usr/share/tomcat7/server.xml dentro de este:


# mkdir /usr/share/tomcat7/conf 
# ln -s /etc/tomcat7/server.xml /usr/share/tomcat7/conf/server.xml
# chmod o+rx /usr/share/tomcat7/conf

En la siguiente imagen puedes ver que ya reconoce el directorio como válido