mirror of
https://github.com/skeeto/w64devkit.git
synced 2025-09-10 17:11:49 +03:00
bfd6577d07
One of my goals is that the distribution can be re-built in place using only Docker or Podman, and so the unpacked distribution mirrors the repository layout. That hasn't been true for w64devkit.ini, which is the only file interfering with this trick, so fix it.
25 lines
1013 B
INI
25 lines
1013 B
INI
; w64devkit.ini -- configuration for w64devkit.exe
|
|
|
|
[w64devkit]
|
|
; home: Sets the HOME environment variable for the shell. Place a
|
|
; .profile in this directory to do further environment configuration
|
|
; using the shell itself.
|
|
;
|
|
; This path may be relative and reference environment variables using
|
|
; percent symbols, like a batch script. Variables will be expanded, a
|
|
; la ExpandEnvironmentStrings, and a relative path will be converted to
|
|
; an absolute path relative to this .ini file.
|
|
;
|
|
; path type: Sets $PATH according to one of three possible types.
|
|
; * inherit: inherit entire $PATH, prepending w64devkit's bin/ [default]
|
|
; * minimal: $PATH is w64devkit's bin/ and basic system directories
|
|
; * strict: $PATH is only w64devkit's bin/
|
|
;
|
|
; title: Sets the initial title for the new console window. This value
|
|
; may also contain environment variables.
|
|
;
|
|
;home = ..\home
|
|
;home = %HOMEDRIVE%%HOMEPATH%
|
|
;path type = minimal
|
|
;title = %USERNAME%@%COMPUTERNAME% [%W64DEVKIT_HOME% %W64DEVKIT%]
|