[Osaka/Yokohama/Tokushima] Looking for infrastructure/server side engineers!

[Osaka/Yokohama/Tokushima] Looking for infrastructure/server side engineers!

[Deployed by over 500 companies] AWS construction, operation, maintenance, and monitoring services

[Deployed by over 500 companies] AWS construction, operation, maintenance, and monitoring services

[Successor to CentOS] AlmaLinux OS server construction/migration service

[Successor to CentOS] AlmaLinux OS server construction/migration service

[For WordPress only] Cloud server “Web Speed”

[For WordPress only] Cloud server “Web Speed”

I will publish a batch just for starting a VM on Windows via vagrant

Hello.
I'm Mandai, in charge of Wild on the development team.

At our company, which does a lot of contract development, the operating environment varies from project to project, so we often create a VM for each project and share the development environment.
For that reason, I often use Vagrant, but it takes a lot of time to open a command prompt or power shell and then cd to vagrant up, so I try to do it in batch mode.

When it comes to command line batches like this, I think Linux shell prompts such as Bash are the star, but Windows also has this kind of functionality.

It's common for Windows machines to have a mouse, so it's no surprise that some people don't know about it.

I could make a lot of text by arranging various nonsense, but
it's not worth the effort, so please take a look at the lame batch file.

1
@echo off rem CentOS 6.6 x86_64 pushd c:\vms\hogehoge vagrant up exit

Just don't be too picky about the VM startup batch.

I put something like @ before echo off.

I don't obediently play a CD, but I end up doing a pushd.

It's only a few lines of code, but these days I feel like this is the biggest time saver in my life.

I apologize for the small details.

That's it.

If you found this article helpful , please give it a like!
0
Loading...
0 votes, average: 0.00 / 10
455
X facebook Hatena Bookmark pocket
[2026.6.30 Amazon Linux 2 end of support] Amazon Linux server migration solution

[2026.6.30 Amazon Linux 2 end of support] Amazon Linux server migration solution

The person who wrote this article

About the author

Yoichi Bandai

My main job is developing web APIs for social games, but I'm also fortunate to be able to do a lot of other work, including marketing.
Furthermore, my portrait rights in Beyond are treated as CC0 by him.