Terminal tabs saving and restoring

save_tabs.sh

#!/usr/bin/env bash

##########
# This file should be run in cron, such as:
# 0 * * * * bash ~/save_tabs.sh
##########

STATE_FILE = $HOME/saved_tabs

gnome-terminal --save-config=$STATE_FILE

LINES=($(grep -n '\[Terminal' $STATE_FILE | cut -d: -f1))
for ((i=0; i<$(grep '\[Terminal' $STATE_FILE | wc -l); i++))
do
    TITLE=$(xprop -id $WINDOWID WM_NAME | sed -e 's/WM_NAME(STRING) = "//' -e 's/"$//';xdotool key ctrl+Page_Down;)
    echo $TITLE
    sed -ri "$((${LINES[$i]}+$i))s/.*/&\nTitle=$TITLE/" $STATE_FILE 
done