Use different mariadb versions on different hosts

This commit is contained in:
2019-07-17 13:15:21 +01:00
parent 6ac73d4595
commit e8b32f58fc

View File

@@ -36,7 +36,6 @@ brew 'jq'
brew 'less'
brew 'lua'
brew 'luarocks'
brew 'mariadb'
brew 'mas'
brew 'peco'
brew 'pgformatter'
@@ -189,6 +188,7 @@ if hostname == 'noct'
brew 'circleci'
brew 'kubernetes-cli'
brew 'kubernetes-helm'
brew 'mariadb'
cask '4k-video-downloader'
cask 'adobe-creative-cloud'
@@ -277,10 +277,12 @@ end
if hostname == 'UAC00013'
brew 'gnu-getopt'
brew 'mariadb@10.0'
brew 'packer'
brew 'skopeo'
brew 'sops'
mas 'HiddenMe', id: 467_040_476
mas 'Microsoft Remote Desktop 8', id: 715_768_417
mas 'Microsoft Remote Desktop 10', id: 1_295_203_466
end