pibase_open

find open problems in topology from pibase
git clone https://a3nm.net/git/pibase_open/
Log | Files | Refs | README

get_spaces.sh (353B)

      1 #!/bin/bash
      2 
      3 for a in ~/apps/data/spaces/*; do
      4   N=$(basename "$a");
      5   echo -n "$N";
      6   for P in $a/properties/*
      7   do
      8     PNAME=$(cat "$P" | grep '^property:' | cut -d' ' -f2)
      9     PVAL=$(cat "$P" | grep '^value:' | cut -d' ' -f2)
     10     if [ "$PVAL" = "false" ]
     11     then
     12       echo -n " -$PNAME"
     13     else
     14       echo -n " $PNAME"
     15     fi
     16   done
     17   echo;
     18 done
     19