sistema_progs

Programas para customizar o meu entorno de traballo nos meus equipos persoais
Log | Files | Refs

D1831.bashrc (301B)

      1 # bashrc -*- mode: sh; mode: sh-bash -*-
      2 
      3 if [[ ! -f out/ble.sh ]]; then
      4   echo 'memo/D1831.bashrc: out/ble.sh not found.' >&2
      5   return 2
      6 fi
      7 
      8 cp -f memo/D1831.history{,.tmp}
      9 HISTFILE=$PWD/memo/D1831.history.tmp
     10 HISTFILESIZE=
     11 HISTSIZE=
     12 HISTTIMEFORMAT=%s
     13 source out/ble.sh --norc -o vbell_duration=5000