Logo
Explore Help
Sign In
pmodules/Pmodules
Watch 1
Star 0
Fork 0
mirror of https://github.com/Pmodules/Pmodules.git synced 2026-06-24 16:47:58 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
de50b1ffeb5fb237041cd109a47c9bdeeaa44fb0
Pmodules/Pmodules
T
History
gsell de50b1ffeb update release file when rebuilding a module, close #20
2017-09-13 15:39:09 +02:00
..
bash
Pmodules/bash
2017-02-07 17:54:51 +01:00
bash_completion
- Bootstrap/ moved one level up
2015-09-17 15:03:03 +02:00
csh
- Bootstrap/ moved one level up
2015-09-17 15:03:03 +02:00
libmodules.tcl
Pmodules/libmodules.tcl:
2017-03-01 14:04:36 +01:00
libpbuild.bash
update release file when rebuilding a module, close #20
2017-09-13 15:39:09 +02:00
libpmodules.bash
- configuration file 'environment.bash' merged into 'profile.bash'
2017-06-09 10:36:05 +02:00
libstd.bash
Pmodules/libstd.bash
2017-08-08 14:09:04 +02:00
modbuild
Merge branch 'master' of gitlab.psi.ch:Pmodules/src
2017-08-08 14:19:31 +02:00
modmanage
implement/fix issue #2: move additional binaries to "$PMODULES_HOME/sbin"
2017-01-09 17:25:51 +01:00
modmanage.bash.in
Pmodules/modmanage.bash.in: exit if rsync fails
2017-09-11 17:44:58 +02:00
modulecmd
implement/fix issue #2: move additional binaries to "$PMODULES_HOME/sbin"
2017-01-09 17:25:51 +01:00
modulecmd.bash.in
Pmodules/modulecmd.bash.in: quote values in assignment
2017-09-11 17:43:42 +02:00
modulecmd.tcl.in
Pmodules/modulecmd.tcl.in
2017-03-22 15:13:36 +01:00
profile.bash.in
- configuration file 'environment.bash' merged into 'profile.bash'
2017-06-09 10:36:05 +02:00
profile.csh.in
- merge scripts 'configure', 'compile_pmodules' and 'install_pmodules'
2017-05-31 15:22:48 +02:00
Powered by Gitea Version: 1.27.0+dev-210-g67f86bc3fe Page: 32ms Template: 4ms
Auto
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API