distfiles/mic.conf

   1 [common]
   2 ; general settings
   3
   4 [create]
   5 ; settings for create subcommand
   6 tmpdir= /var/tmp
   7 cachedir= /var/tmp/cache
   8 outdir= .
   9 pkgmgr = zypp
  10 arch = i586
  11
  12 ; proxy = http://proxy.yourcompany.com:8080/
  13 ; no_proxy = localhost,127.0.0.0/8,.yourcompany.com
  14
  15 [convert]
  16 ; settings for convert subcommand
  17
  18 [chroot]
  19 ; settings for chroot subcommand
  20