diff options
author | Roger Gonzalez <roger@rogs.me> | 2022-08-25 12:25:15 -0300 |
---|---|---|
committer | Roger Gonzalez <roger@rogs.me> | 2022-08-25 12:25:15 -0300 |
commit | 02e0f8bc8e8b164e07c3716a9f81796ee803ce78 (patch) | |
tree | 689477b945aec72c0e881375b82c46d600df56c7 /.doom.d/scripts | |
parent | b989c347bb5f95d19fa277fd710411e39839deef (diff) |
Added LSP and Jenkins improvements
Diffstat (limited to '.doom.d/scripts')
-rw-r--r-- | .doom.d/scripts/.env.example | 3 | ||||
-rwxr-xr-x | .doom.d/scripts/check_jenkinsfile.py | 25 |
2 files changed, 28 insertions, 0 deletions
diff --git a/.doom.d/scripts/.env.example b/.doom.d/scripts/.env.example new file mode 100644 index 00000000..30ce39b7 --- /dev/null +++ b/.doom.d/scripts/.env.example @@ -0,0 +1,3 @@ +JENKINS_URL=http://my-jenkins.url +JENKINS_USER=myusername +JENKINS_PASS=mypassword diff --git a/.doom.d/scripts/check_jenkinsfile.py b/.doom.d/scripts/check_jenkinsfile.py new file mode 100755 index 00000000..cf2b97d9 --- /dev/null +++ b/.doom.d/scripts/check_jenkinsfile.py @@ -0,0 +1,25 @@ +#!/usr/bin/env python3 + +import os +import requests + +from dotenv import load_dotenv + +load_dotenv() + +JENKINS_URL = os.environ.get("JENKINS_URL") +JENKINS_USER = os.environ.get("JENKINS_USER") +JENKINS_PASS = os.environ.get("JENKINS_PASS") + +files = { + "jenkinsfile": (None, open("Jenkinsfile", "rb")), +} + +try: + response = requests.post( + f"{JENKINS_URL}/pipeline-model-converter/validate", + files=files, + auth=(JENKINS_USER, JENKINS_PASS)) + print(response.text) +except requests.exceptions.ConnectionError: + print("Jenkins can't be found. Is the VPN on?") |