#!/bin/bash # script to replace the .custom_bins and add-to-expport.txt without other reinstall echo -e "\ndeleting old export.sh\n" rm $HOME/esp/esp-idf/export.sh # ~/esp/esp-idf/export.sh.bak.2 echo -e "\nReplacing original export.sh from export.sh.bak\n" cp $HOME/esp/esp-idf/export.sh.bak $HOME/esp/esp-idf/export.sh echo -e "\nAppending new add-to-export.txt to export.sh\n" cat add-to-export.txt >> $HOME/esp/esp-idf/export.sh echo -e "\nDeleting .custom_bins dir\n" rm -rf $HOME/esp/.custom_bins echo -e "\nCoppying new custom_bins and making them executable\n" cp -r custom_bins ~/esp/.custom_bins chmod +x $HOME/esp/.custom_bins/* echo -e "\nAll done :3\n"