time.google.com
time1.google.com
time2.google.com
time3.google.com
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env bash | |
| # based on github.com/gokcehan/lf/wiki/Previews | |
| # thanks to dylanaraps for bash bible | |
| # a margin in pixels needed to prevent image from overlapping top title | |
| SAFE_MARGIN=56 | |
| # a threshhold for upscaling images, like pixelart or so | |
| NOFILTER_THRESH=256 |
mutin-sa
/ Top_Public_Time_Servers.md
Last active
December 2, 2025 19:39
List of Top Public Time Servers