@@ -0,0 +1,793 @@
+''' rename files in local directory with random integer names.%0A%0Awindows screen saver isn't very good at randomizing fotos shown. %0AChange file names regularly to provide more variety%0A'''%0A%0Aimport os%0Aimport re%0Aimport random%0A%0A%0Arandom.seed()%0Anew_names = set()%0Aoriginal_files = %5B%5D%0A%0Afor entry in os.listdir():%0A    if os.path.isfile(entry):%0A        if re.match(%22.*jpg%22, entry):%0A            original_files.append(entry)%0A%0A%0Afor counter in range(0, len(original_files)):%0A    new_value = random.randint(0,100000)%0A    while new_value in new_names:%0A        new_value = random.randint(0,100000)%0A    new_names.add(new_value)    %0A%0A%0Afor of in original_files:%0A    nf = str(new_names.pop()).zfill(6) + %22.jpg%22%0A    %0A    try:%0A        os.rename(of, nf)%0A    except Exception as e:%0A        print(%22%7B%7D: %7B%7D%22.format(of, e))%0A

Add file renaming utility