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 Create simple mesh with Gridap Create simple mesh with Gridap Compute Compliance along with multiple force using Gridap Compute Compliance along with multiple force using Gridap Level set method: Update GridapTopOpt Tutorial Level set method: Update GridapTopOpt Tutorial Compile and Install PETSc with external libraries Compile and Install PETSc with external libraries
