Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

7
LINES

< > BotCompany Repo | #1004931 // bootstrapConceptsFrom

JavaX fragment (include) [tags: use-pretranspiled]

Libraryless. Click here for Pure Java version (5378L/30K).

svoid bootstrapConceptsFrom(S progID) {
  S ending = ".gz";
  File f1 = getProgramFile(progID, "concepts.structure" + ending);
  File f2 = getProgramFile(programID(), "concepts.structure" + ending);
  if ((!f2.exists() || eq(ending, ".gz") && fileSize(f2) <= 24) && f1.exists())
    copyFileVerbose(f1, f2);
}

download  show line numbers  debug dex  old transpilations   

Travelled to 15 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, ddnzoavkxhuk, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt, xrpafgyirdlv

No comments. add comment

Snippet ID: #1004931
Snippet name: bootstrapConceptsFrom
Eternal ID of this version: #1004931/6
Text MD5: 98bb7ae12079e5ea6e4688700f1121ff
Transpilation MD5: 8ddc10c0a7ce2db50598457475421d97
Author: stefan
Category: javax / concepts
Type: JavaX fragment (include)
Public (visible to everyone): Yes
Archived (hidden from active list): No
Created/modified: 2022-02-10 00:54:36
Source code size: 315 bytes / 7 lines
Pitched / IR pitched: No / No
Views / Downloads: 587 / 627
Version history: 5 change(s)
Referenced in: [show references]