Robotframework-每月的某天,不带零填充的十进制数字

时间:2019-04-01 08:45:36

标签: robotframework

我用这个:

${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

1 个答案:

答案 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