我用这个:
${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
最佳答案
使用标准库 String
中的 Replace String Using Regexp
${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
关于Robotframework - 一个月中没有零填充的十进制数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/55451142/