Ir al contenido principal

Entradas

Mostrando entradas de enero, 2018

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

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: [sourcecode] Host dev1 HostName 192.168.1.11 User vagrant Port 22 [/sourcecode] De esta forma podremos conectarnos a 192.168.1.11:22 con usuario vagrant , simplemente escribiendo: [sourcecode] ssh dev1 [/sourcecode]

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: [sourcecode] # 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 te

Reiniciar/cambiar contraseña en el terminal/shell de Ubuntu de Windows 10

Si no os acordáis de la contraseña de vuestro usuario en el terminal (o shell ) de Ubuntu de Windows 10 , estos son los pasos que tenéis que seguir para poder cambiarla por otra nueva: Si tienes abierta la consola de Ubuntu, ciérrala. Abre la consola típica de Windows ( Windows+R , y luego escribe cmd y pulsa Intro ). Escribe en dicha consola: ubuntu config --default-user root Ahora abriremos de nuevo la consola de Ubuntu, y debe de aparecernos logueado con el usuario root . Escribe en la consola de Ubuntu:  passwd tuUsuario En el paso anterior tuUsuario es obviamente el usuario al que quieres cambiar la contraseña. Justo después del paso 5, el sistema de preguntará por la nueva contraseña, y su confirmación. Cierra la consola de Ubuntu. Desde la consola de Windows (cmd), escribe:  ubuntu config --default-user tuUsuario Ya puedes cerrar la consola de Windows (cmd). Vuelve abrir la consola de Ubuntu, te debe de aparecer logueada con  tuUsuario .  Ahora puedes hace