Rprofile.site changes from 14.04 to 18.04
This commit is contained in:
parent
d837999780
commit
781deea852
|
@ -7,7 +7,7 @@
|
|||
owner: root
|
||||
group: root
|
||||
mode: 0444
|
||||
tags: [ 'r_software', 'r_profile', 'r_pkg' ]
|
||||
tags: [ 'r_software', 'r_profile', 'r_profile_site', 'r_pkg' ]
|
||||
|
||||
- name: Configure the JDK environment
|
||||
shell: export JAVA_HOME={{ jdk_java_home }} ; export J2SDKDIR={{ jdk_java_home }} ; export J2REDIR={{ jdk_java_home }}/jre ; R CMD javareconf ; touch /etc/R/.java{{ jdk_default }}.env_conf
|
||||
|
|
|
@ -12,6 +12,7 @@ local({r <- getOption("repos")
|
|||
options(repos=r)
|
||||
})
|
||||
|
||||
{% if ansible_distribution_version is version_compare('14.04', '==') %}
|
||||
# Explicitly set the R encoding using the system one, if it exists
|
||||
if (file.exists("/etc/default/locale")) {
|
||||
readRenviron("/etc/default/locale")
|
||||
|
@ -19,4 +20,4 @@ if (file.exists("/etc/default/locale")) {
|
|||
if(nchar(LANG))
|
||||
Sys.setlocale("LC_ALL", LANG)
|
||||
}
|
||||
|
||||
{% endif %}
|
||||
|
|
Loading…
Reference in New Issue