Warning: This page has not been updated in over over a year and may be outdated or deprecated.
community:pmc_meetings:minutes20240521
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
community:pmc_meetings:minutes20240521 [2024/04/16 18:08] – [1. Review of Action Items from Previous Meeting] demiankatz | community:pmc_meetings:minutes20240521 [2024/04/16 18:42] – [6. Wiki Account Management] demiankatz | ||
---|---|---|---|
Line 51: | Line 51: | ||
===== 6. Wiki Account Management ===== | ===== 6. Wiki Account Management ===== | ||
+ | Demian found that you can get a list of all users who have created or edited pages in Dokuwiki by running this command in the data directory: | ||
+ | |||
+ | <code bash> | ||
+ | find meta -name \*.changes -execdir cat {} \; > / | ||
+ | </ | ||
+ | |||
+ | ...and then using Excel to extract and deduplicate the appropriate column of the resulting file. | ||
+ | |||
+ | He then saved the list to a file called known.txt, and ran this script to filter the user file: | ||
+ | |||
+ | <code php> | ||
+ | <?php | ||
+ | |||
+ | $known = array_filter(array_map(' | ||
+ | |||
+ | $users = fopen('/ | ||
+ | |||
+ | $good = fopen(__DIR__ . '/ | ||
+ | $bad = fopen(__DIR__ . '/ | ||
+ | |||
+ | while ($line = fgets($users)) { | ||
+ | $username = current(explode(':', | ||
+ | $out = in_array($username, | ||
+ | fputs($out, $line); | ||
+ | } | ||
+ | |||
+ | fclose($users); | ||
+ | fclose($good); | ||
+ | fclose($bad); | ||
+ | </ | ||
===== 7. Possible Future Actions ===== | ===== 7. Possible Future Actions ===== | ||
community/pmc_meetings/minutes20240521.txt · Last modified: 2024/05/16 11:04 by demiankatz