2017-08-18 15:12:40 +08:00
|
|
|
cask 'drawio' do
|
2018-02-28 07:54:20 +08:00
|
|
|
version '8.0.6'
|
|
|
|
sha256 '7a5407579a403ce9d1e79011998af08847394e6b1c0d34b46d5c5c04f1476213'
|
2017-08-18 15:12:40 +08:00
|
|
|
|
|
|
|
# github.com/jgraph/drawio-desktop was verified as official when first introduced to the cask
|
|
|
|
url "https://github.com/jgraph/drawio-desktop/releases/download/v#{version}/draw.io-#{version}.dmg"
|
|
|
|
appcast 'https://github.com/jgraph/drawio-desktop/releases.atom',
|
2018-02-28 07:54:20 +08:00
|
|
|
checkpoint: '007d2161784365c108a0c18cae64f57b3bff6c907f0f5dcb9f4841f9aeb92b73'
|
2017-08-18 15:12:40 +08:00
|
|
|
name 'draw.io Desktop'
|
|
|
|
homepage 'https://www.draw.io/'
|
|
|
|
|
|
|
|
app 'draw.io.app'
|
|
|
|
|
2017-11-18 17:50:50 +08:00
|
|
|
zap trash: [
|
|
|
|
'~/Library/Preferences/com.jgraph.drawio.desktop.helper.plist',
|
|
|
|
'~/Library/Preferences/com.jgraph.drawio.desktop.plist',
|
|
|
|
'~/Library/Saved Application State/com.jgraph.drawio.desktop.savedState',
|
|
|
|
]
|
2017-08-18 15:12:40 +08:00
|
|
|
end
|