cambios estéticos.

olea · May 3, 2020 · de5e8ba · de5e8ba
1 parent 810a45a
commit de5e8ba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/herramientas/make_dict.sh b/herramientas/make_dict.sh
@@ -196,7 +196,7 @@ if [ "$PUBLICAR" == "SÍ" ] ; then
  exit 0
  fi
 
- echo -en "\nActualizar el repositorio local con los últimos cambios, ¿está seguro? (s/n): "
+ echo -en "\nVamos a actualizar el repositorio local con los últimos cambios, ¿está seguro? (s/n): "
  read -r -n 1 RESPUESTA
  if [ "$RESPUESTA" = "s" ] || [ "$RESPUESTA" = "S" ]; then
  echo -e "\nejecutando: git fetch; git checkout master; git merge"