Difference between revisions of "2022/10/20"
Jump to navigation
Jump to search
(→12:42) |
|||
| Line 6: | Line 6: | ||
Later today: therapy and shopping. | Later today: therapy and shopping. | ||
==12:42== | ==12:42== | ||
I did a clever: the list of options | I did a clever: the list of options shown in the {{l/wooz|Futilities/human/ff|FF documentation}} now automatically includes the common base and spidering options. Will do this for the other commands as I get to them. | ||
Revision as of 16:44, 20 October 2022
|
Thursday, October 20, 2022 (#293)
|
|
|
11:10
I wanted to use FF to find a configuration file, but it wasn't working, so I had to interrupt the other two things I was working on to fix it. It's now partly working, but not giving me all the information I want -- probably because it's not making use of some of the newer facilities I put in the parent-classes. Working on getting that working.
Later today: therapy and shopping.
12:42
I did a clever: the list of options shown in the FF documentation now automatically includes the common base and spidering options. Will do this for the other commands as I get to them.