From b3801e5201f1c7946decd612b9e47ba1da84ec8c Mon Sep 17 00:00:00 2001 From: "m.podoprelov" Date: Fri, 8 Dec 2023 19:36:16 +0300 Subject: [PATCH] add default.conf --- default.conf | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 default.conf diff --git a/default.conf b/default.conf new file mode 100644 index 0000000..30c2c0d --- /dev/null +++ b/default.conf @@ -0,0 +1,22 @@ +# This is a default autogenerated Pica config +# The syntax is +# Only the first occasion of the valid key value pair is taken to consideration +# +# Use '#' sign for comments +# +# All printed comented out values are default values +# +# You should have one of this files as ~/.config/pica.conf, +# if you have started mlc at least once. +# This is going to be used every time you launch mlc, +# so, edit it if you wish to change default behaviour. +# +# Alternatively, you can launch `pica -c customConfig.conf` +# if you wish to override ~/.config/pica.conf file + +# Parallel tasks +# Defines how many threads are going to be started in parralel +# Allowed values are [0, 1, 2, 3 ...] etc +# If it's set to 0 - amount of threads is going to be +# as high as your processor can effectively handle +#parallel 0