diff --git a/src/bash/proof.sh b/src/bash/import.sh
similarity index 100%
rename from src/bash/proof.sh
rename to src/bash/import.sh