smalltalk.cfg
author Patrik Svestka <patrik.svestka@gmail.com>
Mon, 05 Jul 2021 12:43:35 +0200
branchjv
changeset 1630 7de40ef06ef6
parent 1548 b54f5916ed36
permissions -rw-r--r--
1.7.2 Checking all powershell versions (pick first working one), detecting manual switch from a user, better handling of trucky batch characters Details: - fixing finding powershell (check for all versions and pick first one which is correct) in case the registry holds only powershell key, but is not valid powershell instance - Adding a simple manual_switch_detection variable to detect manual switch from user - make the launcher work better with tricky characters for cmd.exe (|, <, >, &)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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