我用这个:
${today}= Get Time
${today_formated}= Convert Date ${today} result_format=%d
结果是每月第一天的01
,但我需要 1 。
如何从一开始就删除 0 ?
我的问题是在该月的某天,而不是月份的数字
完整的机器人框架脚本:
*** Settings ***
Library SeleniumLibrary
Library DateTime
*** Keywords ***
test
${today}= Get Time
${today_formated}= Convert Date ${today} result_format=%d
Log To Console ${today_formated}
*** Test Cases ***
PLFT
[Tags] foo|AC0
Given test
01
答案 0 :(得分:3)
使用标准库Replace String Using Regexp
中的String
${today}= Get Time
${today_formated}= Convert Date ${today} result_format=%d
${today_no_padding}= Replace String Using Regexp ${today_formated} ^0 ${EMPTY}
这会将诸如01
之类的带有前导零的值转换为1
,但仅包含诸如10
之类的零的值将保持不变。
要使用该库,请在设置中添加一个声明:
*** Settings ***
Library SeleniumLibrary
Library DateTime
Library String