GerhardHoffmann
|
cb0586fb6b
|
added several new global variables: update_conf, ...
|
2022-06-04 21:29:23 +02:00 |
|
GerhardHoffmann
|
e3ae2e8d36
|
made to be sourced only once
|
2022-06-04 18:14:16 +02:00 |
|
GerhardHoffmann
|
838b932cac
|
eval working_directory
|
2022-06-03 21:09:10 +02:00 |
|
GerhardHoffmann
|
c1eca2b7bf
|
replaces read_config.sh
|
2022-06-03 20:49:33 +02:00 |
|