diff -r a7e9fd398e5a -r 90a7081e2837 scripts/install.py
--- a/scripts/install.py Thu Jan 12 11:41:48 2023 +0100
+++ b/scripts/install.py Thu Jan 12 11:52:43 2023 +0100
@@ -2215,7 +2215,7 @@
# cleanup source if installing from source
if installFromSource:
- print("Cleaning up source ...", end="")
+ print("Cleaning up source ...", end="", flush=True)
cleanupSource(sourceDir)
print(" Done")
@@ -2238,7 +2238,7 @@
os.remove(configName)
# cleanup old installation
- print("Cleaning up old installation ...", end="")
+ print("Cleaning up old installation ...", end="", flush=True)
try:
if doCleanup:
if distDir:
@@ -2251,17 +2251,17 @@
print(" Done")
# Create a config file and delete the default one
- print("Creating configuration file ...", end="")
+ print("Creating configuration file ...", end="", flush=True)
createConfig()
print(" Done")
# Create an install info file
- print("Creating an install info file ...", end="")
+ print("Creating an install info file ...", end="", flush=True)
createInstallInfo()
print(" Done")
# Compile .ui files
- print("Compiling user interface files ...", end="")
+ print("Compiling user interface files ...", end="", flush=True)
# step 1: remove old Ui_*.py files
for root, _, files in os.walk(sourceDir):
for file in [f for f in files if fnmatch.fnmatch(f, "Ui_*.py")]:
@@ -2271,7 +2271,7 @@
print(" Done")
if doCompile:
- print("Compiling source files ...", end="")
+ print("Compiling source files ...", end="", flush=True)
skipRe = re.compile(r"DebugClients[\\/]Python[\\/]")
sys.stdout = io.StringIO()
if distDir:
@@ -2295,7 +2295,7 @@
sys.stdout = sys.__stdout__
print(" Done")
- print("Installing eric ...", end="")
+ print("Installing eric ...", end="", flush=True)
res = installEric()
print(" Done")
