remover dispositivos de /dev/mapper

eduardo
10 Apr 2020

listar dispostivos:
dmsetup ls

e o resultado:

vg00-home (254:4)
vg_system-lv_var (254:6)
luks-f7aae0ce-0024-4386-bb06-395db34c5ddf (254:5)
vg00-var (254:3)
vg00-swap (254:2)
vg00-root (254:1)
sda3_crypt (254:0)
vg_system-lv_swap (254:7)
vg_system-lv_root (254:8)

remover os dispositivos que já não estão ligados:
dmsetup remove vg_system-lv_var
dmsetup remove vg_system-lv_swap
dmsetup remove vg_system-lv_root

alterar largura/altura das barras de deslocamento no gnome

eduardo
9 Apr 2020

criar o ficheiro ~/.config/gtk-3.0/gtk.css e colocar nele o que se segue:

/*.scrollbar,
scrollbar {
-GtkScrollbar-has-backward-stepper: 1;
-GtkScrollbar-has-forward-stepper: 1;
-GtkRange-stepper-size: 13;
}*/
/*
scrollbar slider {
background-color: @scrollbar_track_color;
}
*/

.scrollbar.vertical slider,
scrollbar.vertical slider {
min-height: 150px;
min-width: 30px;
}

Subscrever