Developers Corner: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
** [[Benchmark-suite | Benchmark-suite]] | ** [[Benchmark-suite | Benchmark-suite]] | ||
** [[Educational]] | ** [[Educational]] | ||
== Reducing the size of the VM image == | |||
** [[Special:AllPages | All Pages]] | ** [[Special:AllPages | All Pages]] | ||
** [[MediaWiki:Sidebar | Side Bar]] | ** [[MediaWiki:Sidebar | Side Bar]] | ||
Revision as of 13:30, 2 February 2023
Development Repositories
Reducing the size of the VM image
Reducing the size of the VM image
Open a terminal in the VM and type
sudo dd if=/dev/zero | pv | sudo dd of=/bigemptyfile bs=4096k sudo rm -rf /bigemptyfile