mirror of
https://gitee.com/openharmony/third_party_rust_strsim-rs
synced 2024-11-26 17:31:18 +00:00
Use Docker instead of Vagrant for development
This commit is contained in:
parent
c284c64ade
commit
b2fc338541
5
Vagrantfile
vendored
5
Vagrantfile
vendored
@ -1,5 +0,0 @@
|
||||
Vagrant.configure("2") do |config|
|
||||
config.vm.box = "ubuntu/trusty64"
|
||||
config.vm.provision :shell, path: "bootstrap.sh"
|
||||
end
|
||||
|
@ -1,6 +0,0 @@
|
||||
#!/usr/bin/env bash
|
||||
|
||||
echo Installing Rust...
|
||||
curl -sf https://static.rust-lang.org/rustup.sh | bash -s -- --revision=1.10.0 -y
|
||||
echo "cd /vagrant" > /home/vagrant/.bashrc
|
||||
|
14
dev
Executable file
14
dev
Executable file
@ -0,0 +1,14 @@
|
||||
#!/usr/bin/env python
|
||||
|
||||
from __future__ import print_function
|
||||
|
||||
import os
|
||||
from subprocess import call
|
||||
import sys
|
||||
|
||||
try:
|
||||
call(['docker', 'run', '-it', '--rm', '-v', os.getcwd() + ':/source',
|
||||
'jimmycuadra/rust:1.14.0'])
|
||||
except OSError:
|
||||
print('Please install Docker.', file=sys.stderr)
|
||||
|
Loading…
Reference in New Issue
Block a user