< > BotCompany Repo | #1020319 // makeDirNameUnique_startWithOne_noDot (uses name1, name2, ...)

JavaX fragment (include)

static File makeDirNameUnique_startWithOne_noDot(File f) {
  File orig = f;
  int n = 1;
  S name = orig.getName();
  f = new File(dirOfFile(orig), name + n);
  while (f.exists())
    f = new File(dirOfFile(orig), name + (++n));
  ret f;
}

Author comment

Began life as a copy of #1019315

download  show line numbers  debug dex  old transpilations   

Travelled to 8 computer(s): bhatertpkbcr, cfunsshuasjs, gwrvuhgaqvyk, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt

No comments. add comment