[logging]
 default = FILE:/var/log/krb5libs.log
 kdc = FILE:/var/log/krb5kdc.log
 admin_server = FILE:/var/log/kadmind.log

[libdefaults]
 default_realm = GALILEU-F.GALILEU.PT
 dns_lookup_realm = true
 dns_lookup_kdc = true
 ticket_lifetime = 24h
 forwardable = yes

[realms]
 GALILEU-F.GALILEU.PT = {
  admin_server = 192.168.0.2
  default_domain = GALILEU-F.GALILEU.PT
  kdc = 192.168.0.2
 }

[domain_realm]
 .galileu-f.galileu.pt = GALILEU-F.GALILEU.PT
 galileu-f.galileu.pt = GALILEU-F.GALILEU.PT

[appdefaults]
 pam = {
   debug = false
   ticket_lifetime = 36000
   renew_lifetime = 36000
   forwardable = true
   krb4_convert = false
 }