Léo Germond
|
45ec3362ab
|
gnat-src is confusing -> gnat_package
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
0726d5d2ee
|
typo in script message
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
2f5f958b55
|
rename doinstall -> create_image
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
ca085c1aea
|
doinstall: gnat_release -> gnatpro_release
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
7cd6fd7d2b
|
Add newline
|
2021-01-29 11:15:51 +01:00 |
|
unknown
|
e420ce44e2
|
Added file extension to bash script, so that .gitattributes file would apply proper line endings to it.
|
2021-01-29 11:15:51 +01:00 |
|
unknown
|
7f00af45e8
|
Added a .gitattributes file to force line endings in bash scripts to use LF.
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
faf9e2a55e
|
Copy file for Docker build only if necessary
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
4e4a4e0298
|
Fix GNAT Pro naming
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
c38afd8a47
|
GPLv3
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
ec400f378d
|
Add instruction to start shell at end of install
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
655dffd929
|
Docker warning empty cont line
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
c727cfd0a6
|
Update README for sudo issues
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
013286f4a8
|
reduce gnatpro size by rm some share/ content
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
d9b1c1def9
|
gnatpro:deps reduce size
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
bc563271f8
|
python3 install script
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
f1a2c44b52
|
Clearer README and doinstall
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
59a6687a57
|
Ignore archives
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
e54e7480c4
|
Add README.md and doinstall script
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
4fc545fa2c
|
gnatpro docker image with GNAT pro integrated install
|
2021-01-29 11:15:51 +01:00 |
|
Léo Germond
|
b4ab92d512
|
gnatpro-deps docker image with basic gnat deps
|
2021-01-29 11:15:51 +01:00 |
|
Joel Dias Marques
|
5bccd5ed16
|
Initial empty repository
|
2020-11-05 15:33:29 +01:00 |
|