Search all dictionaries by key: search
(self, arg)
| 879 | |
| 880 | # ------------------------[ search <key> ]---------------------------- |
| 881 | def do_search(self, arg): |
| 882 | "Search all dictionaries by key: search <key>" |
| 883 | output().info( |
| 884 | self.cmd('(' + arg + ') where {(' + arg + ') get ==} if')) |
| 885 | |
| 886 | # ------------------------[ dicts ]----------------------------------- |
| 887 | def do_dicts(self, arg): |