För att prova de tusentals tillägg tillgängliga här, ladda ner Mozilla Firefox, ett snabbt och gratis sätt att surfa på webben!
StängVälkommen till Firefox tillägg.
Välj bland tusentals extrafunktioner och stilar för att göra Firefox till ditt.
StängRecensioner av Wolfram MathWorld
3 recensioner av detta tillägg
Betygsatt 5 utav 5 stjärnor
Fantastic add-on. Quick, easy access to Wolfram Mathworld's quasi-encyclopedia for Mathematics. Works with version 5.0
Betygsatt 3 utav 5 stjärnor
generate-csv.js :
/*
Aufgabe : generate-csv
*/
var FsObj = WScript.CreateObject("Scripting.FileSystemObject");
var FileObj = FsObj.GetFile("G:\\ben\\Skripte\\anwend.log");
var st = FileObj.OpenAsTextStream(1);
WScript.Echo(st.ReadLine());
while (!st.AtEndOfStream)
{
var Buchstabe = (st.Read(1));
var FsObj = WScript.CreateObject("Scripting.FileSystemObject");
var FileName = "C:\\temp\\error.log";
var FileName1 = "C:\\temp\\warn.log";
var FileName2 = "C:\\temp\\info.log";
var FileObj, DateiStream;
//Fehler:
if (Buchstabe == "F") {
if ( FsObj.FileExists(FileName)) {
FileObj = FsObj.GetFile(FileName);
DateiStream = FileObj.OpenAsTextStream(8);
}
else {
DateiStream = FsObj.CreateTextFile(FileName, false, false);
// Hinweis: CreateTextFile enthält ein implizites Getfile mit
// OpenAsTextStream, so dass sofort ein Stream verfügbar ist.
}
DateiStream.WriteLine("PC01-11 " + "\t" + Buchstabe + st.ReadLine());
DateiStream.Close();
}
//Warnung
if (Buchstabe == "W") {
if ( FsObj.FileExists(FileName1)) {
FileObj = FsObj.GetFile(FileName1);
DateiStream = FileObj.OpenAsTextStream(8);
}
else {
DateiStream = FsObj.CreateTextFile(FileName1, false, false);
// Hinweis: CreateTextFile enthält ein implizites Getfile mit
// OpenAsTextStream, so dass sofort ein Stream verfügbar ist.
}
DateiStream.WriteLine("PC01-11 " + "\t" + Buchstabe + st.ReadLine());
DateiStream.Close();
}
//Info
//.................
}
Betygsatt 5 utav 5 stjärnor
Sehr nützlich, vor allem da MathWorld anscheinend kein eigenes Search-Plugin anbietet.
För att skapa egna samlingar, måste du ha ett konto för Mozilla tillägg.