Skip to content

Bash Terminal topics

Probably a bit messy given that I use this space to export notes when solving things.

Set up a timer

I created a file call timer.sh

Inside it contains this:

#!/bin/bash

date1=`date +%s`; while true; do 
   echo -ne "$(date -u --date @$((`date +%s` - $date1)) +%H:%M:%S)\r";

Then, to run the script without thinking too much, I created an alias:

alias timer="bash /home/ronny/timer.sh"

So, any time I open the terminal, I can have a timer just typing timer

Set up python conda environment

  • Check if there are already envs:
conda info --envs

# conda environments:
#
base                  *  /home/ronny/anaconda3
gee                      /home/ronny/anaconda3/envs/gee
gpp                      /home/ronny/anaconda3/envs/gpp
satellite                /home/ronny/anaconda3/envs/satellite
  • To activate/deactivate:
conda activate
conda deactivate
  • There is a difference between:
apt install spyder
conda install spyder
  • To create a new env:
conda create --name gee python = 3.5