pibase_open

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

get_properties.sh (194B)

      1 #!/bin/bash
      2 
      3 for a in ~/apps/data/properties/*; do
      4   echo -n $(basename "$a" | sed 's/\.md$//');
      5   grep "^name:" "$a" | sed 's/name://'; 
      6 done | grep -vE 'P000126|P000127|P000128' # duplicates
      7