author | Patrik Svestka <patrik.svestka@gmail.com> |
Mon, 05 Jul 2021 12:43:35 +0200 | |
branch | jv |
changeset 1630 | 7de40ef06ef6 |
parent 1548 | b54f5916ed36 |
permissions | -rw-r--r-- |
1514
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
1 |
# ------------------------------------------------------------------------------------------- |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
2 |
# User settings |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
3 |
# ------------------------------------------------------------------------------------------- |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
4 |
# =================== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
5 |
# Stx bin directory = |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
6 |
# =================== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
7 |
# Setting: stx_bin_dir - |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
8 |
# Impact: defines the directory containing the executable |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
9 |
# Note: do not forget the last backslash ^(\^) and double quotes when changing to custom path |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
10 |
stx_bin_dir="%~dp0" |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
11 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
12 |
# =================================== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
13 |
# Stx quick start and image details = |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
14 |
# =================================== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
15 |
# Setting: __binary.stx_quick_start |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
16 |
# Impact: Uses flags --ignoreImage and --quick start to start StX as fast as possible |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
17 |
# TRUE - switches on the quick start |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
18 |
# FALSE - skips this option |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
19 |
__binary.stx_quick_start=FALSE |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
20 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
21 |
# Setting: image_path, image_name, image_suffix |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
22 |
# Impact: variables are self-explanatory |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
23 |
# Note: do not forget the last backslash ^(\^) and double quotes when changing to custom path |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
24 |
image_path="%~dp0" |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
25 |
# Setting: image_name - how should the default image be named |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
26 |
image_name="st" |
1538
29c49741019b
Win32 launcher: adding missing small changes to the main branch
Patrik Svestka <patrik.svestka@gmail.com>
parents:
1514
diff
changeset
|
27 |
image_suffix="img" |
1514
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
28 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
29 |
# Impact: Pair variables (affect each other):__binary.start_with_image and __binary.list_available_images |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
30 |
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
31 |
# note: Before using image functionality check image path, name, and suffix |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
32 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
33 |
# Setting: __binary.start_with_image |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
34 |
# Impact: Stx starts (or not) with image. |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
35 |
# TRUE - image functionality will be used |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
36 |
# FALSE - image functionality ignored |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
37 |
__binary.start_with_image=FALSE |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
38 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
39 |
# Setting: __binary.list_available_images |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
40 |
# Impact: User menu is show when used; it shows all images within the directory (excluding subdirectories) and users selects one. |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
41 |
# If switched off only default image (see image_path, image_name, image_suffix) is used. |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
42 |
# Note: IF start_with_image=FALSE and list_available_images=TRUE then a warning message is shown and append_to_log is set to FALSE automatically) |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
43 |
# TRUE - Switches on the user menu |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
44 |
# FALSE - no interaction from user required |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
45 |
__binary.list_available_images=FALSE |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
46 |
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
47 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
48 |
# ================= |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
49 |
# Stx logging = |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
50 |
# ================= |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
51 |
# Impact: Pair variables (affect each other): __binary.record_log_file and __binary.append_to_log |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
52 |
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
53 |
# Setting: __binary.record_log_file |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
54 |
# Impact: Both standard output and standard error are redirected to a log file |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
55 |
# Note: At least PowerShell 2.0 is required (WindowsXP and newer) |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
56 |
# TRUE - turns on the logging functionality |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
57 |
# FALSE - turns off the logging |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
58 |
__binary.record_log_file=TRUE |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
59 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
60 |
# Setting: __binary.append_to_log |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
61 |
# Impact: Appends the log file. Uses a PowerShell when appending. |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
62 |
# Note: IF record_log_file=FALSE and append_to_log=TRUE then a warning message is shown and append_to_log is set to FALSE automatically) |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
63 |
# TRUE - if log file is found it will be appended. If not a new one will be created |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
64 |
# FALSE - the append functionality is turned off (the log file will be overwritten every time StX is executed) |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
65 |
__binary.append_to_log=TRUE |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
66 |
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
67 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
68 |
# Setting: log_directory, log_name, log_suffix |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
69 |
# Impact: Directory sets a log file directory (others are self-explanatory) |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
70 |
# If a change would be done, double quotes must be present: e.g. "C:\prg_sdk\Stx_stable\" |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
71 |
# Note: do not forget the last backslash ^(\^) and double quotes when changing to custom path |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
72 |
log_directory="%~dp0" |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
73 |
# Setting: log_name sets name for log file |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
74 |
log_name="smalltalk" |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
75 |
log_suffix=".log" |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
76 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
77 |
# Setting: __binary.log_add_datepart |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
78 |
# Impact: Adds a date part based on ISO 8601 to the log file; format YYYY-MM-DD ('-' as a separator) |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
79 |
# TRUE - Switch on this option |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
80 |
# FALSE - Skips this option |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
81 |
__binary.log_add_datepart=TRUE |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
82 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
83 |
# Setting: __binary.log_add_timepart |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
84 |
# Impact: Adds a time part to the log file; format hh;mm;ss (non-ISO ';' as a separator) |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
85 |
# Note: the ISO 8601 separator is not compatible with file-system) |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
86 |
# TRUE - Switch on this option |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
87 |
# FALSE - Skips this option |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
88 |
__binary.log_add_timepart=FALSE |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
89 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
90 |
# Setting: log_file_encoding |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
91 |
# Impact: Changes log file encoding |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
92 |
# Allowed values ASCII, UTF8 (default), UTF16 (in Microsoft world that is called Unicode), UTF32 |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
93 |
# Note: only UTF16 is using Tee-Object which enables you to have all the features the developer envisioned for the logging process |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
94 |
# you can simultaneously see the output in shell, view the log file while using StX and have the wished encoding |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
95 |
# all other encodings carry some limitation due to the powershell tools limitation |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
96 |
log_file_encoding=UTF8 |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
97 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
98 |
# ===================== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
99 |
# Log file line width = |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
100 |
# ===================== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
101 |
# Setting: log_file_encoding |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
102 |
# Impact: Sets log file line width when out-file is used (all except UTF16) |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
103 |
# Allowed values: only numeric |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
104 |
__numeric.log_file_width=150 |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
105 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
106 |
# ================= |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
107 |
# Stx shell = |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
108 |
# ================= |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
109 |
# Setting: __binary.close_shell |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
110 |
# Impact: When set to TRUE closes the shell upon StX exit |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
111 |
# TRUE - Switch on this option |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
112 |
# FALSE - Skips this option |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
113 |
__binary.close_shell=TRUE |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
114 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
115 |
# Setting: __binary.run_via_shell |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
116 |
# Impact: start with shell (.com) or just the GUI without shell (.exe) |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
117 |
# TRUE - uses stx.com executable |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
118 |
# FALSE - uses stx.exe executable |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
119 |
__binary.run_via_shell=TRUE |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
120 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
121 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
122 |
# ------------------------------------------------------------------------------------------- |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
123 |
# Advanced user settings |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
124 |
# ------------------------------------------------------------------------------------------- |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
125 |
# ==================== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
126 |
# Validate variables = |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
127 |
# ==================== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
128 |
# Setting: verify_variables_syntax |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
129 |
# Impact: Verifies the syntax of the batch file variables - e.g. batch file is very picky on spaces |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
130 |
# TRUE - active validation |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
131 |
# FALSE - inactive validation (NOT recommended) |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
132 |
verify_variables_syntax=TRUE |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
133 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
134 |
# Setting: verify_print_message |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
135 |
# Impact: shows message when the verification is complete |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
136 |
# TRUE - Switch on this option |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
137 |
# FALSE - message is not shown |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
138 |
verify_print_message=FALSE |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
139 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
140 |
# ======================= |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
141 |
# Log file size warning = |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
142 |
# ======================= |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
143 |
# Setting: __numeric.warning_logfile_size - Above what file size should a log file warning be shown? |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
144 |
# Impact: If the limit is reached a warning message is shown to the user |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
145 |
# Allowed values: only numeric |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
146 |
# Print user waring if the log file is getting too big - for 32MB in bytes |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
147 |
# the bigger log-file, the slower the logging process gets |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
148 |
__numeric.warning_logfile_size=33554432 |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
149 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
150 |
# ==================== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
151 |
# Stdout redirection = |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
152 |
# ==================== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
153 |
# Setting: cmd_in_powershell |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
154 |
# Impact: The cmd.exe redirection is faster even when called from powershell |
1538
29c49741019b
Win32 launcher: adding missing small changes to the main branch
Patrik Svestka <patrik.svestka@gmail.com>
parents:
1514
diff
changeset
|
155 |
# There could be unforeseen issues with it so there is a switch (no manual switches allowed!) |
1514
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
156 |
# TRUE - uses cmd.exe for redirecting output |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
157 |
# FALSE - uses powershell for redirection (default) |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
158 |
__binary.cmd_in_powershell=FALSE |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
159 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
160 |
# ==================== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
161 |
# Start timer = |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
162 |
# ==================== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
163 |
# Setting: use_timer |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
164 |
# Impact: Measures time between start of the script and correct ending. Measurement unit are seconds. |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
165 |
# TRUE - uses timer |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
166 |
# FALSE - switches off timer |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
167 |
__binary.use_timer=FALSE |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
168 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
169 |
# ============== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
170 |
# Colored text = |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
171 |
# ============== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
172 |
# Setting: colored_stdout |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
173 |
# Impact: Will adjust based on the color setting the stdout output from both batch and powershell |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
174 |
# note: in powershell there are default colors used when setting is is turned off (FALSE. |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
175 |
# TRUE - uses colored output |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
176 |
# FALSE - uses default colors available |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
177 |
__binary.colored_stdout=TRUE |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
178 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
179 |
# =================== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
180 |
# Stdout text color = |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
181 |
# =================== |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
182 |
# colors that can be used |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
183 |
# To find all the colors in powershell: `[enum]::GetValues([System.ConsoleColor]) | Foreach-Object {Write-Host $_ -ForegroundColor $_ }` |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
184 |
# Black, DarkBlue, DarkGreen, DarkCyan, DarkRedDarkMagenta, DarkYellow, |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
185 |
# Gray, DarkGray, Blue, Green, Cyan, Red, Magenta, Yellow, White |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
186 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
187 |
# verbose text (this is color used for normal usually [INFO] messages) |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
188 |
stdout_VerboseBackgroundColor=Black |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
189 |
stdout_VerboseForegroundColor=DarkGreen |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
190 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
191 |
# warning text |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
192 |
stdout_WarningBackgroundColor=Black |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
193 |
stdout_WarningForegroundColor=Yellow |
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
194 |
|
4bdcdc52e55a
Windows launcher improvement - starting is still done via smalltalk.bat
Patrik Svestka <patrik.svestka@gmail.com>
parents:
diff
changeset
|
195 |
# error |
1538
29c49741019b
Win32 launcher: adding missing small changes to the main branch
Patrik Svestka <patrik.svestka@gmail.com>
parents:
1514
diff
changeset
|
196 |
stdout_ErrorBackgroundColor=Black |
1548
b54f5916ed36
Win32 launcher (v 1.6.3): added new configuration option _numeric.start_sleep_in_debug
Patrik Svestka <patrik.svestka@gmail.com>
parents:
1538
diff
changeset
|
197 |
stdout_ErrorForegroundColor=Red |
b54f5916ed36
Win32 launcher (v 1.6.3): added new configuration option _numeric.start_sleep_in_debug
Patrik Svestka <patrik.svestka@gmail.com>
parents:
1538
diff
changeset
|
198 |
|
b54f5916ed36
Win32 launcher (v 1.6.3): added new configuration option _numeric.start_sleep_in_debug
Patrik Svestka <patrik.svestka@gmail.com>
parents:
1538
diff
changeset
|
199 |
# ------------------------------------------------------------------------------------------- |
b54f5916ed36
Win32 launcher (v 1.6.3): added new configuration option _numeric.start_sleep_in_debug
Patrik Svestka <patrik.svestka@gmail.com>
parents:
1538
diff
changeset
|
200 |
# Do not touch, unless you know what you are doing settings |
b54f5916ed36
Win32 launcher (v 1.6.3): added new configuration option _numeric.start_sleep_in_debug
Patrik Svestka <patrik.svestka@gmail.com>
parents:
1538
diff
changeset
|
201 |
# ------------------------------------------------------------------------------------------- |
b54f5916ed36
Win32 launcher (v 1.6.3): added new configuration option _numeric.start_sleep_in_debug
Patrik Svestka <patrik.svestka@gmail.com>
parents:
1538
diff
changeset
|
202 |
# Sets, in milliseconds, sleep periods in powershell while using custom StX switches |
b54f5916ed36
Win32 launcher (v 1.6.3): added new configuration option _numeric.start_sleep_in_debug
Patrik Svestka <patrik.svestka@gmail.com>
parents:
1538
diff
changeset
|
203 |
# 50 milliseconds was found empirically |
b54f5916ed36
Win32 launcher (v 1.6.3): added new configuration option _numeric.start_sleep_in_debug
Patrik Svestka <patrik.svestka@gmail.com>
parents:
1538
diff
changeset
|
204 |
# - less than 50ms takes heavy toll on the CPU |
b54f5916ed36
Win32 launcher (v 1.6.3): added new configuration option _numeric.start_sleep_in_debug
Patrik Svestka <patrik.svestka@gmail.com>
parents:
1538
diff
changeset
|
205 |
# - more than 50ms the stdout and stderror are refresh rate is quite slow |
b54f5916ed36
Win32 launcher (v 1.6.3): added new configuration option _numeric.start_sleep_in_debug
Patrik Svestka <patrik.svestka@gmail.com>
parents:
1538
diff
changeset
|
206 |
__numeric.start_sleep_in_debug=50 |