Soporte de PHP 7.1 en Netbeans

PHP 7.1 lleva bastante tiempo disponible (desde el 1 de Diciembre de 2016), ya incluso está PHP 7.2 desde finales de Noviembre de 2017. Pues a día de hoy (mitad de Enero de 2018) la última versión estable de Netbeans (8.2) aún no soporta PHP 7.1.

Este hecho está provocando que muchos desarrolladores abandonen definitivamente Netbeans y usen otros IDEs, tal como PhpStorm.

Pues resulta que los desarrolladores de Netbeans incluyeron soporte para PHP 7.1 hace bastante tiempo, pero hasta que la siguiente release de Netbeans (será la versión 9) no sea liberada, no se podrá usar PHP 7.1 en Netbeans. Y el ciclo de release de Netbeans es muy largo, porque depende del ciclo de release de los JDK de JAVA…

Bueno, tenemos una opción de usar PHP 7.1 desde Netbeans, no es la solución definitiva ni la mejor, pero es una solución, y es descargar e instalar la última versión de Netbeans en estado de desarrollo.

Esta ultísima versión la encontraréis en este enlace:
Última versión de desarrollo de Netbeans.

Configurar el editor vim de Linux

Voy a explicar como realizar cambios permanentes en la configuración del editor de texto vim de linux.
El fichero, situado en nuestro directorio home, que hay que editar (crear previamente si no existe) es ~/.vimrc.
En este fichero escribiremos las distintas directivas que vim ofrece, entre ellas cabe destacar.

colorscheme slate Cambia el esquema de colores del editor. En este enlace puedes saber como conocer todas las combinaciones que vim ofrece.
set number Muestra el número de línea en cada línea.

Podéis dejar en comentarios de este artículo aquellas directivas de vim que más importantes os resulten a vosotros.

Cómo añadir alias para conexiones SSH desde Linux

Si estáis cansados de cada vez que os conectáis desde el shell (consola) de linux a otro servidor usando SSH, de esta manera podréis crear alias y conectaros de una manera más simple.

Hay que editar (como sudo) el fichero ~/.ssh/config y añadir un bloque como el que sigue para cada configuración que queramos tener:

Host dev1
HostName 192.168.1.11
User vagrant
Port 22

De esta forma podremos conectarnos a 192.168.1.11:22 con usuario vagrant, simplemente escribiendo:

ssh dev1

Cómo colorear y añadir información de GIT a la consola (shell) de linux al conectarse remótamente por SSH

Si os pasa que tenéis vuestro terminal de Linux coloreado y veis información de GIT en el prompt, y al conectarse en remoto vía SSH al mismo servidor ya no lo veis, lo que necesitáis hacer es crear, o editar, el siguiente fichero en vuestro directorio home ~/.bash_profile, y añadir la siguiente información:

# set a fancy prompt (non-color, unless we know we "want" color)
case "$TERM" in
    xterm-color) color_prompt=yes;;
esac
 
# uncomment for a colored prompt, if the terminal has the capability; turned
# off by default to not distract the user: the focus in a terminal window
# should be on the output of commands, not on the prompt
force_color_prompt=yes
 
if [ -n "$force_color_prompt" ]; then
    if [ -x /usr/bin/tput ] && tput setaf 1 >&/dev/null; then
        # We have color support; assume it's compliant with Ecma-48
        # (ISO/IEC-6429). (Lack of such support is extremely rare, and such
        # a case would tend to support setf rather than setaf.)
        color_prompt=yes
    else
        color_prompt=
    fi
fi
 
parse_git_branch() {
     git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/(\1)/'
}
if [ "$color_prompt" = yes ]; then
   PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[01;31m\] $(parse_git_branch)\[\033[00m\]\$ '
else
   PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w$(parse_git_branch)\$ '
fi

Una vez salgáis de consola y volváis a conectaros por SSH veréis los cambios 🙂