Robotframework - 一个月中没有零填充的十进制数

Question

我用这个:

${today}=  Get Time
${today_formated}=  Convert Date  ${today}  result_format=%d

结果是 01，表示该月的第一天，但​​我需要 1。

• %d is Day of the month as a zero-padded decimal number. 01, 02, …, 31

如何去掉开头的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

Answer 1

使用标准库 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