David Bohm

Hay dos frases que definen mi manera de pensar:
Realmente no hemos prestado mucha atención al pensamiento como un proceso; hemos participado en pensamientos, pero sólo hemos prestado atención al contenido, no al proceso.
La capacidad de percibir o pensar de manera diferente es más importante que el conocimiento adquirido.
Ambas son de David Bohm.

viernes, 22 de julio de 2022

Microsoft Edge en Fedora workstation 36

Instalar Microsoft Edge en Fedora es bastante sencillo, y de momento tiene bastante estabilidad. Yo lo uso para los productos microsoft que tengo contratados y la verdad es que me da buenas senaciones usar su navegador para sus productos.

Tras realizar una actualización completa de Fedora, importamos la clave GPG:

   # rpm --import https://packages.microsoft.com/keys/microsoft.asc

Añadimos el repositorio:

   # dnf config-manager --add-repo https://packages.microsoft.com/yumrepos/edge

Refrescamos la lista de repositorios:

   # dnf update --refresh

Ya podemos instalar el navegador Edge:

   # dnf install microsoft-edge-stable

Una vez terminada la instalación, podemos buscarlo en Gnome y lanzarlo. Lo primero que hago es elegir el tema focalizado, sincronizar mi cuenta y así ya dispongo de todas mis extensiones y favoritos.

SaluDOS

miércoles, 20 de julio de 2022

Instalando y predeterminando zsh en Fedora 36 workstation

No soy un fan de grandes personalizaciones en cuanto al shell que utilizo en mi día a día. Cuando accedo a un servidor, donde he intentado cambiar lo menos posible para que todo cumpla un estándar básico, habitualmente uso bash, el shell predeterminado en muchas distribuciones para servidores.

Para instalar zsh solo tenemos que ejecutar:

   # dnf install zsh

Si ejecutamos zsh cambiamos a ese shell:

   # zsh

Podemos comprobar el shell predeterminado que tiene nuestro usuario, para eso consultaremos el archivo /etc/passwd y extraeremos la linea de nuestro usuario:

   # cat /etc/passd | grep usuario

   usuario:x:1000:1000:Nombre Apellido:/home/usuario:/bin/bash

El final de la linea establece el shell por defecto para el usuario, en este caso /bin/bash

Para predeterminar zsh para nuestro usuario utilizaremos el comando chsh:

   # chsh -s $(which zsh) usuario

Obviamente 'usuario' tendremos que cambiarlo por el alias de nuestro usuario. Podemos comprobar si se ha predeterminado zsh:

   # cat /etc/passd | grep usuario

   usuario:x:1000:1000:Nombre Apellido:/home/usuario:/usr/bin/zsh

Si en algún momento queremos hacer lo contrario, y predeterminar bash, solo tenemos que volver a ejecutar el mismo comando pero indicando que deseamos predeterminar bash:

   # chsh -s $(which bash) usuario

Si cuando estamos en la terminal queremos saber con que shell estamos trabajando podemos ejecutar:

   # echo $SHELL

Esto mostrará la shell que se está ejecutando, dando como resultado la ruta:

   /bin/bash

O si es zsh:

   /usr/bin/zsh

Cuando lanzamos zsh por primera vez, aparecerá un asistente zsh-newuser-install, esto se debe a que no tenemos todavía configurados los ficheros de inicio de zsh, como por ejemplo .zshrc, aparecerá este menú o similar:

This is the Z Shell configuration function for new users, zsh-newuser-install.
You are seeing this message because you have no zsh startup files (the files .zshenv, .zprofile, .zshrc, .zlogin in the directory ~). This function can help you with a few settings that should make your use of the shell easier.

You can:

(q) Quit and do nothing. The function will be run again next time.

(0) Exit, creating the file ~/.zshrc containing just a comment.

That will prevent this function being run again.

(1) Continue to the main menu.

--- Type one of the keys in parentheses ---

Si vamos al menú principal pulsando 1, tendremos varias opciones:

Please pick one of the following options:

(1) Configure settings for history, i.e. command lines remembered and saved by the shell. (Recommended.)

(2) Configure the new completion system. (Recommended.)

(3) Configure how keys behave when editing command lines. (Recommended.)

(4) Pick some of the more common shell options. These are simple "on" or "off" switches controlling the shell's features.

(0) Exit, creating a blank ~/.zshrc file.

(a) Abort all settings and start from scratch. Note this will overwrite any settings from zsh-newuser-install already in the startup file. It will not alter any of your other settings, however.

(q) Quit and do nothing else. The function will be run again next time.

--- Type one of the keys in parentheses ---

Si seguimos las recomendaciones del asistente, podemos hacer una configuración básica, para ello vamos pulsando:

   1 para configurar el historial, aceptamos los valores que propone y pulsamos 0 para volver al menú principal.

   2 para configurar el autollenado, aceptamos los valores predeterminados pulsando 1 para volver al menú principal.

   3 para configurar el editor predeterminado, pulsamos 1 y en mi caso selecciono vi pulsando v y volvemos al menú principal pulsando 0.

   4 para configurar las opciones de zsh. Podemos verlas ejecutando man zshoptions; inicialmente se recomienda no configurarlas hasta que no controles un poco mas zsh

   0 para guardar la configuración realizada. Se creará .zshrc

Te advierte que no se volverá a ejecutar el asistente, pero nos ofrece que ejecutar si queremos volver a ejecutarlo:

The function will not be run in future, but you can run it yourself as follows:

  autoload -Uz zsh-newuser-install
  zsh-newuser-install -f

The code added to ~/.zshrc is marked by the lines

# Lines configured by zsh-newuser-install
# End of lines configured by zsh-newuser-install

You should not edit anything between these lines if you intend to run zsh-newuser-install again.  You may, however, edit any other part of the file.

Veremos que el prompt cambia, mostrando un % y si comprobamos el shell que se está ejecutando veremos que es zsh.

Podemos mostrar el archivo .zshrc para ver que tiene una estructura básica según lo que hemos configurado en el asistente, solo por curiosidad merece la pena

   # cat .zshrc

 SaluDOS.