Congegni/sintonia
7
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

chore: clean unmaintained centos files (#2212)

Browse source 
Fix #1475
This commit is contained in:
Jonas L 2022-10-08 08:07:53 +02:00 • committed by GitHub
parent de7f87a092
commit e991870e2d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 6 additions and 173 deletions
Download patch file Download diff file Expand all files Collapse all files

6
Vagrantfile vendored
View file

@ -122,10 +122,4 @@ Vagrant.configure('2') do |config|
setup_nfs(config)
setup_libretime(os, 'debian.sh')
end
config.vm.define 'centos' do |os|
os.vm.box = 'centos/8'
setup_nfs(config)
setup_libretime(os, 'centos.sh', '--selinux')
end
end