< > BotCompany Repo | #1011389 // fileNameEncode - hopefully safe on all platforms; takes any string; not guaranteed to stay the same in the future

JavaX fragment (include)

sS fileNameEncode_safeChars = " "; //" ()[]#";

sS fileNameEncode(S s) {
  s = dropLeadingDots(s); // don't produce file names starting with a dot!
  new StringBuilder buf;
  int n = l(s);
  for (int i = 0; i < n; i++) {
    char c = s.charAt(i);
    if (contains(fileNameEncode_safeChars, c))
      buf.append(c);
    else
      buf.append(urlencode(str(c)));
  }
  ret str(buf);
}

download  show line numbers  debug dex  old transpilations   

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

No comments. add comment