AI Utility

[Will]

Well, I could have the script only grab text files that begin with 'AI_' (AI_*.txt), but the problem is I'm not sure how I could chop off the 'AI_' part and replace it with '%dirname%_'.

I could make a perl script to do this pretty easily, it's just I'm not sure about the extent that Win NT/2k/XP natively support perl. A quick google search hasn't got me much...

I'll take a look into it more tomorrow, but right now I have to sleep, then wake up in the morning, go over a proof of the Completeness and Compactness Theorems of First-Order Languages, then write up a quick enumeration scheme for formulae of a First-Order Language a la the scheme used by Gödel. Something like prime(n) = nth prime number, a_n (a name in the language) = prime(n), (kth function of i parameters)ƒ_i^k = prime(1)^k * prime(2)^i, (mth relational symbol between j terms) P_j^m = prime(3)^m * prime(4)^j, then combining them all together is a huge long product... bleh. What I just typed isn't right, but it's somewhere in the ballpark, I'm too tired...

[Will]

Ok, figured out a sort-of kludge... turns out I don't really need perl, I can work around it in other ways

code:

---

 

@for /D %%d in (*) do @for %%f in (AI_*.txt) do @for /F "usebackq tokens=2* delims=_" %%g in ('%%f') do @copy %%f .\%%d\%%d_%%g_%%h

@for /D %%D in (*) do @for %%F in (.\%%D\*.txt_) do @rename .\%%D\%%~nF.txt_ %%~nF.txt 

 

---

Same procedure as before, takes all files matching AI_*.txt in a directory, and copies it to all subdirectories, taking off the 'AI_' and replacing it with '{subdirname}_'.

Link in first post has been updated.