Reportjargon-textInstallationInstalled #1

log

[UTL] test -e /usr/share/vh/jargon.idx: path resolves
[UTL] rm /usr/share/vh/jargon.idx: remove file

Debug

root: r₅₈₉
clause: globals:
          r₅₃₂ -> 645
          r₅₈₉ -> 655
          
equalities:
  
info:
  586:
    initial: true
    kind: dir
    feats:
      cache -> 599
      lib -> 597
      lock -> 596
      log -> 595
      opt -> 594
      run -> 593
      spool -> 589
      tmp -> 588
      www -> 587
    fen: false
    sims:
    nfens:
    nsims:
    
  587:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  588:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  589:
    initial: true
    kind: dir
    feats:
      cron -> 592
      mail -> 591
      mqueue -> 590
    fen: false
    sims:
    nfens:
    nsims:
    
  590:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  591:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  592:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  593:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  594:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  595:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  596:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  597:
    initial: true
    kind: dir
    feats:
      misc -> 598
    fen: false
    sims:
    nfens:
    nsims:
    
  598:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  599:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  600:
    initial: false
    kind: dir
    feats:
      X11R6 -> 619
      bin -> 618
      include -> 617
      lib -> 616
      local -> 606
      sbin -> 605
      share -> 602
      src -> 601
    fen: false
    sims:
      ~{share} 659
    nfens:
    nsims:
    
  601:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  602:
    initial: false
    kind: dir
    feats:
      man -> 604
      misc -> 603
      vh -> 656
    fen: false
    sims:
      ~{vh} 661
    nfens:
    nsims:
    
  603:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  604:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  605:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  606:
    initial: true
    kind: dir
    feats:
      bin -> 615
      etc -> 614
      games -> 613
      include -> 612
      lib -> 611
      man -> 610
      sbin -> 609
      share -> 608
      src -> 607
    fen: false
    sims:
    nfens:
    nsims:
    
  607:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  608:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  609:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  610:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  611:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  612:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  613:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  614:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  615:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  616:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  617:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  618:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  619:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  620:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  621:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  622:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  623:
    initial: true
    kind: dir
    feats:
      lock -> 624
    fen: false
    sims:
    nfens:
    nsims:
    
  624:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  625:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  626:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  627:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  628:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  629:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  630:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  631:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  632:
    initial: true
    kind: dir
    feats:
      X11 -> 636
      opt -> 635
      sgml -> 634
      xml -> 633
    fen: false
    sims:
    nfens:
    nsims:
    
  633:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  634:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  635:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  636:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  637:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  638:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  639:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  645:
    initial: false
    kind: dir
    feats:
      bin -> 639
      boot -> 638
      dev -> 637
      etc -> 632
      home -> 631
      lib -> 630
      media -> 629
      mnt -> 628
      opt -> 627
      proc -> 626
      root -> 625
      run -> 623
      sbin -> 622
      srv -> 621
      tmp -> 620
      usr -> 600
      var -> 586
    fen: false
    sims:
      ~{usr} 655
    nfens:
    nsims:
    
  650:
    initial: false
    kind: ¬dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  655:
    initial: false
    kind: dir
    feats:
      bin -> 639
      boot -> 638
      dev -> 637
      etc -> 632
      home -> 631
      lib -> 630
      media -> 629
      mnt -> 628
      opt -> 627
      proc -> 626
      root -> 625
      run -> 623
      sbin -> 622
      srv -> 621
      tmp -> 620
      usr -> 659
      var -> 586
    fen: false
    sims:
      ~{usr} 645
    nfens:
    nsims:
    
  656:
    initial: false
    kind: dir
    feats:
      jargon.idx -> 650
    fen: false
    sims:
      ~{jargon.idx} 657
    nfens:
    nsims:
    
  657:
    initial: false
    kind: dir
    feats:
      jargon.idx -> X
    fen: false
    sims:
      ~{jargon.idx} 656
    nfens:
    nsims:
    
  659:
    initial: false
    kind: dir
    feats:
      X11R6 -> 619
      bin -> 618
      include -> 617
      lib -> 616
      local -> 606
      sbin -> 605
      share -> 661
      src -> 601
    fen: false
    sims:
      ~{share} 600
    nfens:
    nsims:
    
  661:
    initial: false
    kind: dir
    feats:
      man -> 604
      misc -> 603
      vh -> 657
    fen: false
    sims:
      ~{vh} 602
    nfens:
    nsims:
    
  
log: |
  [UTL] test -e /usr/share/vh/jargon.idx: path resolves
  [UTL] rm /usr/share/vh/jargon.idx: remove file