marzo 25, 2017

Visual Studio Code indentation guides color

Primero activamos que se muestren las guias en settings.json:
  // Controls whether the editor should render indent guides
  "editor.renderIndentGuides": true,
Luego en el Color Theme que tengamos activo, editamos el color de la key: guide tal que así:
<plist version="1.0">
<dict>
  <key>name</key>
  <string>Monokai Yggdrasil</string>
  <key>settings</key>
  <array>
    <dict>
      <key>settings</key>
      <dict>
        <key>background</key>
        <string>#23241F</string>

        <!-- Color del cursor del editor -->
        <key>caret</key><string>#FF0000</string>

        <!-- Color de la guía del editor -->
        <key>guide</key><string>#303030</string>

marzo 15, 2017

Script de migracion de Gnome Terminal para Ubuntu 16.04 LTS

La migración de Ubuntu siempre trae sorpresas, esta vez ha sido no poder recuperar la configuración del Gnome Terminal y que no haya ninguna herramienta que lo haga cuando es relativamente sencillo, han pasado de gconf (un sistema de configuración mediante archivos xml) a dconf (sistema de db por clave en bajo nivel).

El script lee un directorio con los xml viejos (normalmente en /home/user/.gconf/apps/gnome-terminal) y los instala en el nuevo sistema pasandole un dump de la nueva config en un formato que dconf entiende.

python gterminal_tool.py --load-current-profiles --skip-duplicate-names \
    --load-gconf-profiles-from homefolder_backup/.gconf/apps/gnome-terminal \
    --execute-delete --execute-action

De paso permite también la alteración de uno o mas parámetros de todos los perfiles, que importamos o existentes al mismo tiempo.

python gterminal_tool.py --load-current-profiles --set="font='Consolas 13'" \
    --set="default-size-columns=170" --set="default-size-rows=50" \
    --execute-delete --execute-action
El código para descargar en github:

https://github.com/fcosantos/gnome-terminal-migrate


diciembre 21, 2016

Felices fiestas

Con la llegada de estas fechas no puede uno menos que acordarse de todas esas personas que han estado este año ahí, al pie del cañón, mis mejores deseos para ellos, que se ven reflejados en este precioso christmas:

diciembre 03, 2016

El mundo vuelve a girar

Röyksopp feat. Robyn - Monument (The Inevitable End Version)


Arriba o abajo, dos caras de la misma moneda. Hoy toca tirar de nuevo.