"Me lo contaron y lo olvidé. Lo vi y lo entendí. Lo hice y lo aprendí."
(Confucio)
www.usuariodebian.com
-
www.usuariodebian.blogspot.com
Manuales
Debian GNU/Linux
Obtener Debian GNU/Linux
Debian 10.0 "Buster"
Instalar Debian 10.0 "Buster"
Debian 9.0 "Stretch"
Instalar Debian 9.0 "Stretch"
Debian 8.0 "Jessie"
Instalar Debian 8.0 "Jessie"
Actualizar desde Debian 8 Jessie a Debian 9 stretch
Debian 7.0 "Wheezy"
Instalar Debian 7.0 "Wheezy"
Debian 6.0 "Squeeze"
Instalar Debian 6.0 "Squeeze"
Debian 5.0 "Lenny"
Instalar Debian 5.0 "Lenny"
Debian 4.0 "Etch"
Instalar Debian 4.0 "Ech"
Instalar Debian 4.0 "Etch" desde windows
Debian 3.1 "Sarge"
Instalar Debian 3.1 "Sarge"
Debian 3.0 "Woody"
Instalar Debian 3.0 "Woody"
Instalar programas en Debian
Repositorios
Repositorios Debian Backports
Synaptic - Gestor de paquetes
Apper - Instalar, Desinstalar y actualizar programas
Debian GNU/Linux y Toy Story
Haz lo mismo con software libre
KDE 4.3 - estable y facil de usar -
Sticker Book, pegatinas para el ordenador
Firefox vuelve a Debian
Cambiar contraseña de root usando grub2
Diseño y Ofimatica
Gimp - Programa Manipulación Imagenes GNU
Gimp: Todos los plugin desde repositorio de Debian
Inkscape, editor de gráficos vectoriales
Scribus, maquetación
Scribus, Crear formularios editables en pdf
MyPaint - Arte digital
Fotolibros digitales.
Picasa en Debian
Gwenview - subir fotos a Picasaweb
Gwenview - gestor de imagenes
Planner - Gestión de proyectos
Blender, diseño 3D
Sweet Home 3D - Diseño de interiores
Posterazor - crear poster
jKiwi - cambio de imagen
Imagination - fotografias en DVD
QCad - Diseño Asistido por Computadora en GNU/Linux
LibreOffice - Suite ofimatica
OpenOffice.org - Suite ofimatica
Gestión Pyme, instalación.
Facturlinex, Contalinex........
Bulmages - gestión de empresa
Debian Server
LAMP - servidor web
Servidor LAMP en Debian 10
phpmyadmin en Debian 10
phpmyadmin, gestor de MySQL
Instalar webmin
Instalar y configurar el servidor web Apache2
extplorer - desde repositorio Debian
extplorer, bajado de la web oficial
Samba - compartir carpetas en red
Samba - compartir recursos
Samba 4 como Controlador de Dominios AD DC en Debian 9
Servidor Vsftpd (Very Secure FTP Daemon)
Configurar Webmin para isc-dhcp-server 4.2.2 (Servidor DHCP)
Instalar y configurar un Servidor DHCP en webmin
Instalar y configurar un servidor DNS en webmin
Servidor VPN PPTP para Windows
NFS (Sistemas de archivos de red)
NFS (montar archivos de red en el cliente)
Servidor web Apache2 + SSL auto-firmado
phpMyAdmin en Debian 11 (testing Bullseye)
Apache y PHP: aumentar tamaño máximo de subida de archivos
phpMyAdmin, errores en $cfg['TempDir'] y (blowfish_secret)
phpMyAdmin, renombrar una base de datos
phpMyAdmin, cambiar cotejamiento de una base de datos
Crear y Eliminar usuarios en phpMyAdmin
Cambia la contraseña de un usuario de phpMyAdmin
Cambiar contraseña de usuario en joomla/wordpress desde phpmyadmin
Crear y Borrar bases de datos en phpMyAdmin
Exportar e importar Bases de Datos en phpMyAdmin
phpmyadmin en Debian 10
phpmyadmin, gestor de MySQL
Apache: permisos, usuario y grupo www-data
Programas
Poner Inkscape Portable en español
MultiSystem en Debian
KiCad diseño de circuitos impresos
Android: ADB y FastBoot
extplorer - desde repositorio Debian
extplorer, bajado de la web oficial
gdebi y gdebi-kde, instalar paquetes .deb
UFRaw. Manipulación de formato RAW
Midori Browser
Darktable
Euroges - GT-Solutions
Calligra Suite
phpBB - Foros en php
Shutter: capturador de pantalla
Drupal 7, instalar en español
PDF Mod, editar archivos PDF
FreetuxTV
phpmyadmin, gestor de MySQL
gtk-recordmydesktop, graba tu escritorio
Fritzing, crear y simular circuitos electrónicos
Wordpress, instalación y configuración
apt y dpkg ya son multiarquitectura
Moodle, bajado desde la web
Moodle, Instalacion y configuración.
Owncloud - nuestros datos en nuestra nube
Apper - Instalar, Desinstalar y actualizar programas
Filezilla, cliente ftp
GtkHash, genera y comprueba la suma md5
Plymouth en Debian Wheezy con nouveau
Plymouth, arranque gráfico en Debian Squeeze con Nvidia
Ark en KDE 4 integrado en Dolphin
Reparar partición NTFS dañada en Debian
NX Free Edition para Debian
Bluetooth en Debian GNU/Linux
Ekiga, videoconferencia libre y gratuita
Skype en Debian 8 Jessie 64 bits
Skype en Debian Squeeze 6
Grsync - Copias de seguridad
IPTux mensajeria para tu red local
g2ipmsg, Mensajería instantánea para la intranet
OpenShot Vídeo Editor
Recuperación de documentos de LibreOffice
QWBFS Manager - (Gestor de particiones WBFS)
GIP - Calculadora de direcciones IP
CUPS-PDF, impresora virtual de PDF
MyPaint - Arte digital
Veetle, ver la tv desde el navegador web
Fotolibros digitales.
Picasa en Debian
Gwenview - subir fotos a Picasaweb
Gwenview - gestor de imagenes
Planner - Gestión de proyectos
Tellico - organizador de colecciones
Posterazor - crear poster
Calibre, gestor de libros electronicos (e-books)
QCad - Diseño Asistido por Computadora en GNU/Linux
SoundConverter, convertidor de audio
KDE Partition Manager
Piklab, programar microchip
Xsane escanear imagenes
Packet Tracer 5.3 en 64 bits
Packet Tracer 5.3 en 32 bits
KGpg - crifrar, descifrar y firmar ficheros y mensajes
Renta 2010 - Programa PADRE
Galternatives
Blender, diseño 3D
Gimp - Programa Manipulación Imagenes GNU
LibreOffice - Suite ofimatica
OpenOffice.org - Suite ofimatica
Audacity - grabar y editar audio
USB Movistar - Huawei E1612
PeaZIP, des/compresor de ficheros
jkiwi - cambio de imagen en Debian 9
jKiwi - cambio de imagen
7-zip manager - compresor/descompresor
AcetoneISO, montar imagenes de disco
Kompozer, editor de paginas Webs
Radio Tray - radio on-line
Krusader - Gestor de archivos
Fontmatrix, gestor de fuentes
ClusterSSH, administración remota
JClic, actividades multimedia
JClic - instalar actividades en tu ordenador
JClic - instalar las actividades en carpetas
Icedove, cargar imagenes
UNetbootin, GNU/Linux desde el pendrive
FFMpegThumbs, Miniaturas de videos en Dolphin
mplayerthumbs, vista previa de vídeos
XBMC, Media Center
Wiithon (Gestor de particiones WBFS)
Avidemux - edición de vídeo
Imagination - fotografias en DVD
HJ-Split - cortar y pegar archivos
Hoz - cortar y pegar archivos
Opera - navegador de internet
Iceape, suite de internet
Chromium - navegador web
Google Chrome en Debian
Etiquetar un pendrive con GParted
KDE4 - Iconos extra para Oxygen
Iconos navideños para KDE4
JDownloader - gestor de descarga de archivos
Tucan Manager - gestor de descargas
Hardinfo - información hardware
Sweet Home 3D - Diseño de interiores
Kdenlive - Edición de Vídeo
kpdf - lector de documentos pdf
Cinelerra - edición de vídeo
KRename - renombrar archivos
WinFF - conversor de formatos
KPowersave - Hibernar o Suspender
Kmail - cliente de correo
Konqueror - extraer musica del CD
KAudioCreator - extraer musica del CD
Ark - kArchiver
PhotoRec - recupera datos borrados
TestDisk - repara tu disco duro
Memtest86+
Partimage - copias de seguridad
wifi-radar escanear redes
xchat, irc chatea en linux
ISOMaster, editor iso, nrg
aMSN, mensajeria
aMule, intercambia ficheros
K3B - grabar CD/DVD
Television - Zattoo
Escuchar la Radio
Inkscape, editor de gráficos vectoriales
Scribus, maquetación
Scribus, Crear formularios editables en pdf
Virtualbox GPL de Oracle Corporation
VirtualBox, virtualización
VirtualBox OSE - virtulización
VirtualBox - Guest Adittions
Escritorio Remoto VNC
Gestión Pyme, instalación.
Facturlinex, Contalinex........
Bulmages - gestión de empresa
Correo Hotmail
Iceweasel - Plugins - extensiones
Xnest - gdmflexiserver --xnest
Knemo - monitor de red
Gparted - QTparted
Wake On LAN - encendido remoto
winehq, ejecuta programas de windows
Wordpress, instalación y configuración
Instalación y Configuración I
Teamviewer para linux
TeamViewer en Debian 8.0
Intalación Debian GNU/Linux
Instalar Debian desde windows
Kuser - Añadir, Desactivar o eliminar usuarios en Debian
Certificado de usuario
Renovar el Certificado de Usuario desde Iceweasel
Numlock o Bloqueo numerico
Driver ATI
ATI Radeon HD 3200 Series
Driver INTEL
Nouveau con aceleración 3D
Driver NVIDIA
Debian Squeeze, instalar driver Nvidia
Nvidia - driver privado oficial
Debian Wheezy, instalar driver Nvidia
Debian Wheezy - nvidia - driver privado oficial
Debian Stretch, instalar driver Nvidia
Driver NVIDIA - desinstalar
mount y fstab - montar particiones
NTFS-3G - leer y escribir en ntfs
Beryl 3D aiglx + nvidia
Compiz Fusion, escritorio 3D
Splashy - barra de progreso
msttcorefonts - F. True Type
ttf-mscorefonts-installer
Aplicaciones x86 (32 bits) en AMD64 (64 bits)
DKMS (Dynamic Kernel Module Support)
Cursores nuevos
GRUB - splashimages
GRUB con contraseña
GRUB, ocultar, reiniciar, apagar
GRUB, reinstalación
gfxboot - grub
Codecs de audio y video
JAVA, consola virtual
OpenJDK - versión libre de Java
Teclado multimedia
Teclado multimedia - Klinearkconfig
GParted - QTparted
Ratón en consola virtual
Nueva contraseña de root
Programas en el arranque
Scaner Primax Colorado Direct 9600
Compartir el escaner en la red local
HP PSC 1610 All-in-One
Impresora, instalación
Impresora local compartida
Compartir impresoras y administración remota
Cups, configurar impresoras
Multifunción Samsung SCX-4521F
Sintonizadora - BT848A
Sintonizadora de TV AsusteK P7131 Dual
NFS - compartir ficheros
Servidor NFS, comparte carpetas en la red
Compartir Ficheros en KDE
Konqueror como root
Samba - compartir carpetas en red
Samba - compartir recursos
Consola Virtual (VT1 a VT12)
startx, varias sesiones X a la vez
Abrir puertos en el router
Port forwarding - Reenvío de puertos
Compilar un Kernel
ACL - listas control acceso
Webcam Microdia
WebCam USB
KDM kde display manager
GDM Display Manager (GDM)
Cambiar idioma por defecto
Mapa del teclado
Mapa del teclado en consola
Mapa del teclado en consala - Debian Wheezy
Reconfigurar el servidor Xorg
Configuración manual de xorg.conf
Tipos de letras - Fuentes
Teclado en pantalla
Cambiar la fecha y hora del sistema
Nautilus como Konqueror
Nautilus en modo administrador "root"
Asociación de archivos en KDE
KDE 4.3 lanzar aplicaciones como root
mozplugger - incrustar aplicaciones en Iceweasel
DNIe - instalación del lector
Debconf, gestor de configuración
KDE 4 - La Papelera
Vaciar la papelera, cuando tiene archivos que no se dejan borran
KDE 4 - Actividades
Muy lento al cargar las páginas web
ddclient para DynDns.org
Añadir mas tipos de fuentes GNU desde synaptic
Kmix faltan canales
Real HDTV Nano 3D - Televisión Digital Terrestre
Integración de aplicaciones GTK+ en KDE
Iceweasel, Acelerar la navegación
Nvidia GeForce4 MX 4000 con dos monitores
Nvidia GeForce 9500 GS con dos monitores
HP Laserjet Professional M1132 MFP - instalación
HP Laserjet Professional M1132 MFP - instalación Debian 7 wheezy
LAMP - servidor web
Joomla - crear paginas WEB
Esta conexión no está verificada
Servidor VPN PPTP en modo texto para Windows
Conectarse a un Servidor VPN de PPTP
Apache2 y URLs amigables (mod_rewrite)
Gestores de descargar
aMule, intercambia ficheros
JDownloader - gestor de descarga de archivos
Tucan Manager - gestor de descargas
Crear Pendrive USB Booteable
MultiSystem en Debian
ROSA Image Writer en Debian
UNetbootin, GNU/Linux desde el pendrive
Como crear un Pendrive USB installer de Windows 10 en Debian GNU/Linux
Google Earth
Google Earth, instalación
Instalar Google Earth usando googleearth-package
Google Earth en 64 bits
Google Earth 5.0
Instalar Google Earth 6
Google Earth 7 en Debian 7 Wheezy 64 bits
Dolphin (explorador de archivos)
Dolphin (explorador de archivos)
Ark en KDE 4 integrado en Dolphin
FFMpegThumbs, Miniaturas de videos en Dolphin
Dolphin y kde 4 no desmonta dispositivos USB
Ver los iconos de los *.exe de Windows en Dolphin
Abrir carpetas en pestañas en Dolphin
un clic o doble clic para abrir archivos y carpetas en Dolphin
Instalación y Configuración II
Compilar un kernel en Debian 10 Buster
Instalador Debian. Cargar de Firmware no libre
Wine 5 en Debian 11 Bullseye
Apache: permisos, usuario y grupo www-data
Mobility Radeon HD 5570/6550A
Arduino IDE en Debian
Unidad SSD activar TRIM en systemd
phpFileManager administrador de archivos web
Servidor web Apache2 + SSL auto-firmado
ROSA Image Writer en Debian
Abrir carpetas en pestañas en Dolphin
un clic o doble clic para abrir archivos y carpetas en Dolphin
MTP: Conectar nuestro SmartPhone Android en Debian 10
Servidor PXE en Debian
Como crear un Pendrive USB installer de Windows 10 en Debian GNU/Linux
phpmyadmin en Debian 10
Servidor LAMP en Debian 10
Desactivar touchscreen (pantalla táctil)
Samba 4 como Controlador de Dominios AD DC en Debian 9
Montar una imagen ISO en Debian GNU/Linux
Debian 9 a veces no se conecta a internet por cable
Debian 9 No se conecta al WiFi
Geany: Imposible encontrar la terminal
Libreoffice numeración de páginas
Pantano: Paleta de colores para Gimp, Inkscape, Scribus y Krita
Thunderbird, problema al intentar migrar desde Icedove.
Reinstalar GRUB 2 desde el instalador de Debian
Servidor VPN en DD-WRT
Microscopio USB en Linux
Lightdm - gestor de sesiones
X2Go Escritorio remoto
Acestream en Debian testing Buster
Uso de la Omnibarra en Libreoffice
Cargar contenido remoto en los mensajes recibidos en Thunderbird
PV - Barra de progreso en la terminal
QTcurve personalizar kde plasma
Diferencia entre BIOS y UEFI (MBR y GPT)
Abrir enlaces de thunderbird con firefox o chromium
adb y fastboot, comandos mas usados
Dolphin (explorador de archivos)
Desbloquear Bootloader e instalar Custom Recovery TWRP en BQ Aquaris E5 4G
SP Flash Tool en Linux
Cambiar mensaje de bienvenida en SSH
KolourPaint
AnyDesk - Escritorio remoto
Instalar Wechat en Debian
ATI Radeon 3200 en Debian Jessie
KODI Media Center
TeamViewer en Debian 8.0
Liberar espacio en disco duro.
A start job is running for dev-disk
Trinity Desktop volver a KDE 3.5
Ver los iconos de los *.exe de Windows en Dolphin
Problema con la hora en arranque dual
Reparar memorias USB con fdisk
VLC - Servidor de streaming de vídeo
Telegram Desktop
KDE Connect: conecta Android con tu escritorio KDE
XDMCP en kde 4
Monitor: standby o apagado desde kde4
Monitor: standby o apagado en consola
MTP - conexión en dispositivos
webdav en kde4
Webmin + Apache2 + URLs amigables
Apache2 y URLs amigables (mod_rewrite)
Escritorio Remoto
Escritorio Remoto VNC
XDMCP en kde 4
NX Free Edition para Debian
AnyDesk - Escritorio remoto
TeamViewer en Debian 8.0
Teamviewer para linux
Redes Inalambricas
WICD - conexiones de red
Belkin - ZyDAS ZD1211
Broadcom Corporation BCM4318
Ovislink - Atheros (AR5212)
WIFI - instalación
WIFI - desprotegido
WPA, WPA2 y wpagui
Wifi-Radar escanear redes
Wireless Assistant
DDNS - DynDNS.org
Flash Player
Adios Flash Player hola HTML5
Flash player
Flash Player 10 - Alfa
Flash Player en 64 bits
Flash Player 10 "Square"
Flash Player 11 RC1
Flash Player 11
Flash Player 11.2 videos con tonalidad de azul
Gnash, la versión libre de Flash Player
Driver Nvidia
(Oficial y de repositorio)
Nouveau con aceleración 3D
Driver NVIDIA
Debian Squeeze, instalar driver Nvidia
Nvidia - Squeeze - driver privado oficial
Debian Wheezy, instalar driver Nvidia
Debian Wheezy - nvidia - driver privado oficial
Driver NVIDIA - desinsta
Impresora y Escaner
HP PSC 1610 All-in-One
Impresora, instalación
Impresora local compartida
Cups, configurar impresoras
Multifunción Samsung SCX-4521F
Xsane escanear imagenes
Scaner Primax Colorado Direct 9600
Compartir el escaner en la red local
HP Laserjet Professional M1132 MFP - instalación
Televisión y Radio
Kaffeine, sintonizar y ver los canales de TDT
VLC media player - Reproductor multimedia
Real HDTV Nano 3D - Televisión Digital Terrestre
Sintonizadora de televisión - BT848A
Sintonizadora de TV AsusteK P7131 Dual
Veetle, ver la tv desde el navegador web
Television - Zattoo
Escuchar la Radio
Radio Tray - radio on-line
Raspberry Pi
Raspberry Pi, pc para todo
NOOBS instalar Raspbian desde Debian
Formato de Documento Portátil (PDF)
CUPS-PDF, impresora virtual de PDF
kpdf - lector de documentos pdf
Scribus, Crear formularios editables en pdf
Webmin
Instalar webmin
Información de Apache: mod_info
Monitorear Apache: mod_status
Samba: compartir recursos sin contraseña
Samba: compartir recursos con contraseña
Servidor Vsftpd (Very Secure FTP Daemon)
Configuración de red, modo IP estatica
Configurar Webmin para isc-dhcp-server 4.2.2 (Servidor DHCP)
Instalar y configurar un Servidor DHCP en webmin
Instalar y configurar un servidor DNS en webmin
Servidor VPN PPTP para Windows
Instalar y configurar el servidor web Apache2
Quitar índices de directorio en Apache
Webmin + Apache2 + URLs amigables
Apache2 y URLs amigables (mod_rewrite)
Apache no carga paginas php
Apache2 - public_html
Apache - Alias: redirecciones URLs
Unix - Directorio Web Protegido
MD5 - Directorio Web Protegido
Digest - Directorio Web Protegido
NFS (Sistemas de archivos de red)
NFS (montar archivos de red en el cliente)
phpMyAdmin, gestor MySQL
phpMyAdmin en Debian 11 (testing Bullseye)
Apache y PHP: aumentar tamaño máximo de subida de archivos
phpMyAdmin, errores en $cfg['TempDir'] y (blowfish_secret)
phpMyAdmin, renombrar una base de datos
phpMyAdmin, cambiar cotejamiento de una base de datos
Crear y Eliminar usuarios en phpMyAdmin
Cambia la contraseña de un usuario de phpMyAdmin
Cambiar contraseña de usuario en joomla/wordpress desde phpmyadmin
Crear y Borrar bases de datos en phpMyAdmin
Exportar e importar Bases de Datos en phpMyAdmin
phpmyadmin en Debian 10
phpmyadmin, gestor de MySQL
Programas nos incluidos en Debian
Google Earth 7 en Debian 7 Wheezy 64 bits
Google Chrome en Debian
Skype en Debian 8 Jessie 64 bits
Debian Wheezy - nvidia - driver privado oficial
Opera - navegador de internet
Renta 2010 - Programa PADRE
DNIe - instalación del lector
PeaZIP, des/compresor de ficheros
jKiwi - cambio de imagen
Instalar webmin
Telegram Desktop
Trinity Desktop volver a KDE 3.5
JDownloader - gestor de descarga de archivos
ATI Radeon HD 3200 Series
Codecs de audio y video
Euroges - GT-Solutions
NX Free Edition para Debian
Wiithon (Gestor de particiones WBFS)
Television - Zattoo
Veetle, ver la tv desde el navegador web
Fotolibros digitales.
Picasa en Debian
Packet Tracer 5.3 en 64 bits
Packet Tracer 5.3 en 32 bits
Facturlinex, Contalinex........
MultiSystem en Debian
SP Flash Tool en Linux
AnyDesk - Escritorio remoto
NX Free Edition para Debian
Instalar Wechat en Debian
Control de errores
Debian Buster: sin sonido déspues de instalar
Resolver el cambio de valor de:'Origen' de 'Google, Inc.' a 'Google LLC'
No se pudo obtener un bloqueo exclusivo
ALERT! /dev/disk/by-uuid/xxxxx
A start job is running for dev-disk
Teamviewer 12 no arranca en Debian testing (Buster)
Problema con: apt y trusted.gpg
Error de llave pública
synaptic: /var/lib/dpkg/lock
Renombrar archivos con caracteres raros en el nombre
Reparar partición NTFS dañada en Debian
Papelera llena estando vacia
Skype problema con Pulseaudio
Kmix faltan canales
Conexión no verificada
kaffeine no muestra la imagen del TDT
Dolphin y kde 4 no desmonta dispositivos USB
Kernel 2.6.32-5-amd64 / driver nouveau
Java, error en Debian testing
Synaptic - apagón de luz
Synaptic - error 127
hal error de actuliazación
acpi error de actualización
No monta dispositivos USB
MySQL - error instalación
OpenOffice sin iconos
Navegadores web
Opera - navegador de internet
Iceape, suite de internet
Chromium - navegador web
Google Chrome en Debian
Iceweasel - Plugins - extensiones
mozplugger - incrustar aplicaciones en Iceweasel
Certificado de usuario
Renovar el Certificado de Usuario desde Iceweasel
DNIe - instalación del lector
Gestores de archivos
Ark - kArchiver
PeaZIP, des/compresor de ficheros
7-zip manager - compresor/descompresor
KRename - renombrar archivos
WinFF - conversor de formatos
HJ-Split - cortar y pegar archivos
Hoz - cortar y pegar archivos
SoundConverter, convertidor de audio
KAudioCreator - extraer musica del CD
AcetoneISO, montar imagenes de disco
ISOMaster, editor iso, nrg
Audacity - grabar y editar audio
Guadalinex - Apuntes -
Gnome - gestor de ventanas
gnome: maximizar, minimizar y cerrar
Driver NVIDIA
Beryl con aiglx y nvidia
Papelera en KDE
Konqueror como root
Uso de Root en guadalinex
Openoffice sin iconos
Crystal Eye - webcam
Links interesantes
http://www.usuariodebian.com
Servidor Debian GNU/Linux
http://screenshots.debian.net
Live-CD de Debian GNU/Linux
Google Linux
www.debian.org
www.debianart.org
www.esdebian.org/
www.guadalinex.org
www.gnome-look.org
www.kde-files.org/
www.kde-look.org
www.fotolibro24.es
www.pixum.es/
www.usuariodebian.com
-
www.usuariodebian.blogspot.com
Se legal usa Debian GNU/Linux
Blog optimizado para una resolución 1.280x1.024 pixels y navegadores Firefox - Iceweasel y derivados