miércoles, 16 de julio de 2014

Gnome 3 en Ubuntu 12.04

sudo add-apt-repository ppa:gnome3-team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell
sudo apt-get install gnome//para instalar todos los programas de gnome

domingo, 13 de julio de 2014

Eliminar kernels antiguos

//Listar os kernels que tenemos instalados
dpkg --get-selections | grep linux-image
//Borrar el seleccionado, debemos borrar uno a uno
sudo apt-get remove --purge paquete (el nombre del paquete viene dado por el comando anterior)
//No debemos eliminar el kernel genérico ya que no podríamos recibir actualizaciones de éste.

Boot-repair y UEFI

Actualizando windows 8 una de las actualizaciones se ha comido el grub. Para recuperarlo necesitamos el programa boor-repair, para ello solo es necesario lanzarlo desde un live-cd.

sudo add-apt-repository ppa:yannubuntu/boot-repair
sudo apt-get update
sudo apt-get install -y boot-repair && (boot-repair &)

Una vez introducidos los comandos en consola se abre el programa, generalmente advierte que ha detectado UEFI, por ello nos vamos a opciones avanzadas, y en la pagina principal marcamos la opción 'Usar el archivo EFI estándar', posteriormente inicia el proceso, si todo va bien saldrá una ventana preguntando si queremos activar no se que (por problemas de traducción no se cual era la pregunta), pero debemos responder 'NO', tras finalizar nos indicará si ha podido arreglar el problema, en mi caso sí pudo.

sábado, 31 de mayo de 2014

GDB básico

//compilación de un programa
g++ -g -o exe exe.cpp
//llamada a gdb con el ejecutable
gdb exe
//breakpoint a una funcion
b main
//breakpoint a una linea
b 33
//correr el programa sin args
r
//correr el programa con args
r texto.txt
//ejecutar la siguiente linea, entrando en la func
s
//ejecutar la siguiente linea, no entrando en funcs
n
//imprimir una variable
p variable
p vector[var]

miércoles, 21 de mayo de 2014

Terminal empotrado gedit

Para corregir el problema de visualización necesitamos introducir los siguientes comandos en la shell.

//color de fondo
gsettings set org.gnome.gedit.plugins.terminal foreground-color "#FFFFFF"
//cambios permanentes
gsettings set org.gnome.gedit.plugins.terminal use-theme-colors false
//letras en negro
gsettings set org.gnome.gedit.plugins.terminal foreground-color black
//fondo blanco
gsettings set org.gnome.gedit.plugins.terminal background-color white