20141114

Desabilitar barras de rolagem dinâmicas no GNOME

gsettings set com.canonical.desktop.interface scrollbar-mode normal

20140804

Out of memory no sysupdate do 9front

O pull havia sido feito, mas o update não. Bastou rodar o hg update (agora com mais memória no qemu).

Qemu com rede tap sem sudo no Ubuntu

Adicionei a seguinte linha no /etc/security/capability.conf:
cap_net_admin           $user
cap_net_raw             $user
E rodei:
sudo setcap cap_net_admin=ei /usr/bin/qemu-system-*
Reloguei e tudo funcionou.
[1] http://pacita.org/books/server-setup/output/htmlchunk/ch04.html
[2] http://blog.bravi.org/?p=912

20130614

Interoperabilidade entre C e Fortran 90

% cat a.c
typedef struct X X;
struct X {
 float f;
 int  d;
};

void
setf_(X *x)
{
 x->f = 1.8;
}

void setd_(X*);

void
setd2_(X *x)
{
 setd_(x);
}
% cat xmod.f90
module xmod
  type X
    real :: f
    integer :: d
  end type
end module

subroutine setd(tx)
  use xmod
  type(X) :: tx
  tx%d = 18
end subroutine
% cat b.f90
program B
  use xmod

  type(X) :: tx

  call setf(tx)
  call setd2(tx)
  print *, tx

end program
% gcc -c a.c; ifort -c xmod.f90; ifort -c b.f90; ifort -o ab a.o b.o xmod.o; ./ab
   1.800000              18

20130609

Ubuntu 12.10 sem NetworkManager usando rede WPA2

# rfkill 0 unblock
# rfkill 1 unblock
# wpa_passphrase ssid pwd >ssid.conf
# wpa_supplicand -D wext -i wlan0 -c ssid.conf
Se isso funcionar, adicionar a /etc/network/interfaces:
auto wlan0
iface wlan0 inet dhcp
wpa-ssid ssid
wpa-psk pwd

20130519

NFS + /home encriptado

Se o /home é encriptado, aparentemente não será possível exportá-lo por NFS.

20130516

Removendo ícones de $HOME na área de trabalho do GNOME

Já aconteceu comigo mais de uma vez. Edite $HOME/.config/user-dirs.dirs e verifique a linha XDG_DESKTOP_DIR. O meu arquivo atual - funcionando bem - é:
XDG_DESKTOP_DIR="$HOME/Desktop"
XDG_DOWNLOAD_DIR="$HOME/Downloads"
XDG_TEMPLATES_DIR="$HOME/Templates"
XDG_PUBLICSHARE_DIR="$HOME/Public"
XDG_DOCUMENTS_DIR="$HOME/Documents"
XDG_MUSIC_DIR="$HOME/Music"
XDG_PICTURES_DIR="$HOME/Pictures"
XDG_VIDEOS_DIR="$HOME/Videos"