Comandos de inicio del sistema operativo GNU/Linux

En este tutorial veremos una introducción a los comandos ejecutados en el inicio del sistema operativo GNU/Linux.

Palabras claves: modificar configuración usuario, rc.local, profile.

Cuando el sistema operativo se inicia, tenemos archivos que ejecutan las órdenes básicas del sistema. Nosotros podemos ver o modificar esos archivos para adaptarlos a nuestros gustos. rc.local es el archivo que se ejecuta justo luego del inicio del sistema:

cat /etc/init.d/rc.local

profile se ejecuta luego del inicio de sesión de usuário:

cat /etc/profile

Las configuraciones particulares de cada usuário están en el archivo .profile en el directorio del usuário, por ej.:

cat .profile

# ~/.profile: executed by the command interpreter for login shells.
# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
# exists.
# see /usr/share/doc/bash/examples/startup-files for examples.
# the files are located in the bash-doc package.

# the default umask is set in /etc/profile; for setting the umask
# for ssh logins, install and configure the libpam-umask package.
#umask 022

# if running bash
if [ -n "$BASH_VERSION" ]; then
    # include .bashrc if it exists
    if [ -f "$HOME/.bashrc" ]; then
    . "$HOME/.bashrc"
    fi
fi

# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
    PATH="$HOME/bin:$PATH"
fi