popravljena verzija IDEA

This commit is contained in:
polz 2023-09-07 23:19:33 +02:00
parent bb377ee309
commit 9d9b8f10e8
13 changed files with 119 additions and 71 deletions

View file

@ -1,6 +1,9 @@
# Algoritmi in podatkovne strukture 1
# bojan.zunkovic@fri.uni-lj.si, Petar.Vracar@fri.uni-lj.si
# bojan.zunkovic@fri.uni-lj.si, polz@fri.uni-lj.si
# Windows, Java JDK, Eclipse
- include_tasks: JDK.yml
# - include_tasks: JDK.yml
# - include_tasks: OracleJDK.yml
- include_tasks: Eclipse.yml
# - include_tasks: Eclipse.yml
include_tasks: c_development.yml
include_tasks: vscode.yml

View file

@ -6,7 +6,7 @@
state: directory
- name: Download and unpack JetBrains IDEA
unarchive:
src: https://download.jetbrains.com/idea/ideaIE-2022.2.tar.gz
src: https://download.jetbrains.com/idea/ideaIC-2023.2.1.tar.gz
dest: /opt/IDEA
creates: /opt/IDEA/idea-IE-222.3345.148/build.txt
creates: /opt/IDEA/idea-IC-232.9559.62/build.txt
remote_src: yes

View file

@ -0,0 +1,6 @@
# Spletno Programiranje
# dejan.lavbic@fri.uni-lj.si
# git, docker, Node.js + npm, Visual Studio Code
- include_tasks: git.yml
- include_tasks: docker.yml
- include_tasks: nodejs.yml

View file

@ -0,0 +1,13 @@
# Varnost Podatkov
# david.jelenc@fri.uni-lj.si
# Python (in standardno pripadajoča šara jupyter lab) in IntelliJ IDEA PyCharm CE
# PyCharm
# Java (kar je bilo lani bo ok) in IntelliJ IDEA CE
# maven
# git
include_tasks: git.yml
include_tasks: maven.yml
include_tasks: IDEA.yml
include_tasks: JDK.yml
include_tasks: jupyter.yml
include_tasks: PyCharm.yml

View file

@ -5,5 +5,6 @@
- make
- automake
- g++
- gdb
- cmake
state: latest

View file

@ -1,3 +1,3 @@
- name: Install mysql workbench
apt:
deb: https://dev.mysql.com/get/Downloads/MySQLGUITools/mysql-workbench-community_8.0.30-1ubuntu22.04_amd64.deb
deb: https://dev.mysql.com/get/Downloads/MySQLGUITools/mysql-workbench-community_8.0.34-1ubuntu22.04_amd64.deb

View file

@ -0,0 +1,14 @@
- name: Add NodeJS repo key
apt_key:
url: https://deb.nodesource.com/gpgkey/nodesource-repo.gpg.key
keyring: /etc/apt/keyrings/nodesource.gpg
- name: Add NodeJS repo url
apt_repository:
repo: "deb [signed-by=/etc/apt/keyrings/nodesource.gpg] https://deb.nodesource.com/node_20.x nodistro main"
- name: Install NodeJS
apt:
name: nodejs
state: latest