|
|
fcf9b57f8d
|
Add ANSI styles.
|
2023-03-18 14:04:12 +01:00 |
|
|
|
e6d383b020
|
Look for invalid ids.
|
2023-03-16 22:54:18 +01:00 |
|
|
|
e1ffc98c53
|
Streamline 4-digit primes tests.
|
2023-03-16 22:36:43 +01:00 |
|
|
|
c122df4c9e
|
Add to dependencies as well.
|
2023-03-16 22:26:27 +01:00 |
|
|
|
d92ef2124c
|
Add primes module skeleton.
|
2023-03-16 22:24:24 +01:00 |
|
|
|
87cff0a8c8
|
Finish card splitting to pairs of id and label.
|
2023-03-16 21:42:12 +01:00 |
|
|
|
0d20884637
|
Credit conversions.
|
2023-03-16 21:21:39 +01:00 |
|
|
|
342797575f
|
Port last bits and pieces of orig tool.
|
2023-03-16 19:53:54 +01:00 |
|
|
|
4419d0de21
|
Static and dynamic builds.
|
2023-03-16 19:23:25 +01:00 |
|
|
|
3dd329af5b
|
Work on both shared and static linking.
|
2023-03-16 14:31:03 +01:00 |
|
|
|
0005e70632
|
Clean link files.
|
2023-03-16 14:10:19 +01:00 |
|
|
|
1a6f339d9d
|
Work on static linkage.
|
2023-03-16 14:05:47 +01:00 |
|
|
|
dbb7ab7fd8
|
Load members, find them by id or nick.
|
2023-03-16 12:04:51 +01:00 |
|
|
|
a38992edf7
|
Use member id as primary key.
|
2023-03-16 11:28:38 +01:00 |
|
|
|
77204b80e4
|
Dictionary reduce, prepare members-base usage.
|
2023-03-16 11:24:04 +01:00 |
|
|
|
e26b78b254
|
Optional progress in loading the members-base.
|
2023-03-16 10:50:29 +01:00 |
|
|
|
62882aab27
|
Basic loading.
|
2023-03-16 10:41:59 +01:00 |
|
|
|
165794f317
|
Implement dict-filter.
|
2023-03-16 10:34:08 +01:00 |
|
|
|
33f02bd329
|
Implement dict-map.
|
2023-03-16 10:22:50 +01:00 |
|
|
|
6e614feab3
|
Filter only 4-digit files or symlinks.
|
2023-03-15 15:01:22 +01:00 |
|
|
|
0e5b59cab0
|
Lists of symbols - 4-digit checking.
|
2023-03-15 12:55:44 +01:00 |
|
|
|
69eed25e80
|
4digit string recognition
|
2023-03-15 12:47:47 +01:00 |
|
|
|
669c17123b
|
Aliases and files recording.
|
2023-03-15 12:37:03 +01:00 |
|
|
|
29dc5aa1ac
|
Members directory reading.
|
2023-03-15 11:57:18 +01:00 |
|
|
|
83b27f4de4
|
Members directory reading.
|
2023-03-15 11:51:49 +01:00 |
|
|
|
8803c11f5e
|
Finish utils split out.
|
2023-03-14 23:17:12 +01:00 |
|
|
|
5b32f3a30a
|
Split out utils so that we don't need SRFI.
|
2023-03-14 23:13:26 +01:00 |
|
|
|
98a772cee9
|
Add skeleton of members base.
|
2023-03-14 23:04:10 +01:00 |
|
|
|
9564563199
|
Add help to orig.
|
2023-03-14 21:13:20 +01:00 |
|
|
|
bd098dfc12
|
Remove old command-line parsing.
|
2023-03-14 21:12:39 +01:00 |
|
|
|
84c5aac95e
|
Improve command-line syntax.
|
2023-03-14 21:10:18 +01:00 |
|
|
|
0f9e5e2313
|
Make sure the warning case returns false.
|
2023-03-14 20:13:04 +01:00 |
|
|
|
06159627aa
|
Work on ignoring errors and giving warnings.
|
2023-03-14 16:57:20 +01:00 |
|
|
|
82319aaa4d
|
Cleanup Makefile dependencies.
|
2023-03-14 16:47:25 +01:00 |
|
|
|
3697f5169d
|
Finish the build infrastructure for separate linking.
|
2023-03-14 14:50:10 +01:00 |
|
|
|
a700e483db
|
Work on dependencies.
|
2023-03-14 12:02:30 +01:00 |
|
|
|
db18163193
|
Start work on build infrastructure.
|
2023-03-14 11:55:02 +01:00 |
|
|
|
ed3c8fef63
|
Add simple shell script for running under csi.
|
2023-03-14 11:50:00 +01:00 |
|
|
|
36e6e3c3cf
|
Use the new ANSI module.
|
2023-03-14 11:48:55 +01:00 |
|
|
|
f90041a0ff
|
Actual ANSI color and bold attribute generation.
|
2023-03-14 11:18:26 +01:00 |
|
|
|
d161233a8a
|
Start work on ANSI module.
|
2023-03-14 11:10:44 +01:00 |
|
|
|
d44dc759fc
|
Finish integrated command-line help system.
|
2023-03-14 10:57:27 +01:00 |
|
|
|
9a438758b3
|
Extract command-line help information.
|
2023-03-14 10:53:24 +01:00 |
|
|
|
70e5079239
|
New command-line syntax.
|
2023-03-14 09:22:29 +01:00 |
|
|
|
08d365ff6a
|
Port original parse-command-line.
|
2023-03-13 22:42:03 +01:00 |
|
|
|
387678a01e
|
Consuming arguments, getting actual arguments.
|
2023-03-13 22:37:27 +01:00 |
|
|
|
798b23c858
|
Start rework of command-line module.
|
2023-03-13 22:31:01 +01:00 |
|
|
|
924f5d6675
|
New start/stop splitting.
|
2023-03-13 22:06:29 +01:00 |
|
|
|
8764877e40
|
Basic parsing.
|
2023-03-13 21:56:31 +01:00 |
|
|
|
c296d167b5
|
New splitting of member file lines, detailed error reporting.
|
2023-03-13 21:51:16 +01:00 |
|
