From 3cfdcd9345e2ff6e816b5a92bda4ca8bc2ba6277 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micka=C3=ABl=20Germain?= Date: Thu, 18 Aug 2016 08:14:08 +0200 Subject: [PATCH] Fix curl locale dependencie issue. --- plugins/ros/ros.plugin.zsh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/ros/ros.plugin.zsh b/plugins/ros/ros.plugin.zsh index 037f1a78a..92088a31b 100644 --- a/plugins/ros/ros.plugin.zsh +++ b/plugins/ros/ros.plugin.zsh @@ -315,7 +315,7 @@ ros_prompt_info() { local master_ip=$(rosmaster) if [ "$master_ip" ]; then ros_status+="$ZSH_THEME_ROS_PROMPT_PREFIX%{$fg_no_bold[white]%}" - curl -m 0.1 -s -o /dev/null \ + LC_ALL=C curl -m 0.1 -s -o /dev/null \ --request POST "$ROS_MASTER_URI/RPC2" --data " getUri "