< > BotCompany Repo | #1016338 // makeFileNameUnique_withExtension (by adding .1, .2, .3...)

JavaX fragment (include)

static File makeFileNameUnique_withExtension(File f, S ext) {

  File orig = f;

  int n = 0;

  ext = addPrefixIfNempty(".", dropPrefix(".", ext));

  S name = dropSuffixIC(ext, orig.getName());

  f = new File(dirOfFile(orig), name + ext);

  while (f.exists())

    f = new File(dirOfFile(orig), name + "." + (++n) + ext);

  ret f;

}

Author comment

Began life as a copy of #1015318

download  show line numbers  debug dex  old transpilations   

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

No comments. add comment