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

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

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

1 个答案: