From e8b32f58fcd4f5a591345c02c42d35f52b89b897 Mon Sep 17 00:00:00 2001 From: Jim Myhrberg Date: Wed, 17 Jul 2019 13:15:21 +0100 Subject: [PATCH] Use different mariadb versions on different hosts --- Brewfile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Brewfile b/Brewfile index c15cd35..4b9e2c5 100644 --- a/Brewfile +++ b/Brewfile @@ -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