Tech Convert Directories to a ZIP file on Ubuntu kevin-tofu January 17, 2023 1 min read zip -r <output_file> <folder_1> <folder_2> ... <folder_n> Continue Reading Previous Previous post: A Woman Tour GuideNext Next post: Mt.Shizugatake, Shiga, Japan Related News Gauss–Legendre Integration In FEA Gauss–Legendre Integration In FEA How to avoid other arg parsing function using argparse How to avoid other arg parsing function using argparse Handling Mini-Conda with PyEnv Handling Mini-Conda with PyEnv See Statistics of Your Python Package See Statistics of Your Python Package