Advertisement
Guest User

Untitled

a guest
Aug 5th, 2015
247
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.61 KB | None | 0 0
  1. nodesource_repo:
  2. pkgrepo.managed:
  3. - name: deb https://deb.nodesource.com/node_0.12 trusty main
  4. - dist: trusty
  5. - file: /etc/apt/sources.list.d/nodesource.list
  6. - key_url: curl -s https://deb.nodesource.com/gpgkey/nodesource.gpg.key
  7. - require_in: nodejs
  8.  
  9. pkgrepo.managed:
  10. - name: deb-src https://deb.nodesource.com/node_0.12 trusty main
  11. - dist: trusty
  12. - file: /etc/apt/sources.list.d/nodesource-source.list
  13. - key_url: curl -s https://deb.nodesource.com/gpgkey/nodesource.gpg.key
  14. - require_in: nodejs
  15.  
  16. pkg.latest:
  17. - name: nodejs
  18. - refresh: True
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement