整合营销服务商

电脑端+手机端+微信端=数据同步管理

免费咨询热线:

使用 source 命令将函数和变量导入 Bash

使用 source 命令将函数和变量导入 Bash - Linux 中国

ource 就像 Python 的 import 或者 Java 的 include。学习它来扩展你的 Bash 能力。

  • 来源:https://linux.cn/article-12346-1.html
  • 作者:Seth Kenlon
  • 译者:geekpi

(本文字数:3145,阅读时长大约:4 分钟)

source 就像 Python 的 import 或者 Java 的 include。学习它来扩展你的 Bash 能力。

登录 Linux shell 时,你将继承特定的工作环境。对于 shell 而言,“ 环境(environment)”意味着已经为你设置了某些变量,以确保你的命令可以按预期工作。例如, PATH 环境变量定义 shell 从哪里查找命令。没有它,几乎在 Bash 中尝试执行的所有操作都会因“命令未发现” 错误而失败。在执行日常任务时,环境对你几乎是不可见的,但它很重要。

有多种方法可以影响你的 shell 环境。你可以在配置文件中进行修改,例如 ~/.bashrc 和 ~/.profile,你可以在启动时运行服务,还可以创建自己的自定义命令或编写自己的 Bash 函数 。

通过 source 添加到你的环境

Bash(以及其他一些 shell)有一个称为 source 的内置命令。这就是令人困惑的地方:source 执行与命令 . 相同的功能(是的,那只是一个点),而与 Tcl 命令的 source 不是同一个(如果你输入 man source,也许在屏幕上显示的是它)。实际上,内置的 source 命令根本不在你的 PATH 中。这是 Bash 附带的命令,要获取有关它的更多信息,可以输入 help source。

. 命令兼容 POSIX 。 但 source 命令不是 POSIX 定义的,但可以与 . 命令互换使用。

根据 Bash help,source 命令在你当前的 shell 中执行一个文件。 “在你当前的 shell 中” 这句很重要,因为它表示它不会启动子 shell。因此,用 source 执行的任何操作都发生在内部并影响当前环境。

在探讨 source 对环境的影响之前,请用 source 命令导入一个测试文件,以确保其按预期执行代码。首先,创建一个简单的 Bash 脚本并将其保存为 hello.sh:

#!/usr/bin/env bash
echo "hello world"

使用 source,即使该脚本不设置可执行也可以运行:

$ source hello.sh
hello world

你也可以使用内置的 . 命令获得相同的结果:

$ . hello.sh
hello world

source 和 . 命令成功地执行了测试文件的内容。

设置变量和导入函数

你可以使用 source 将文件 “导入” 到 shell 环境中,就像你可以在 C 或 C++ 中使用 include 关键字引用一个库,或者在 Python 中使用 import 关键字引入一个模块一样。这是 source 的最常见用法之一,它也是 .bashrc 中的一个默认包含方式,通过 source 导入 .bash_aliases,以便将任何你自定义的别名在登录时导入到你的环境。

这是导入 Bash 函数的示例。首先,在名为 myfunctions 的文件中创建一个函数。它将打印你的公共 IP 地址和本地 IP 地址:

function myip() {
        curl <http://icanhazip.com>      

        ip addr | grep inet$IP | \
        cut -d"/" -f 1 | \
        grep -v 127\\.0 | \
        grep -v \:\:1 | \
        awk '{$1=$1};1'
}

将该函数导入你的 shell:

$ source myfunctions

测试新函数:

$ myip
93.184.216.34
inet 192.168.0.23
inet6 fbd4:e85f:49c:2121:ce12:ef79:0e77:59d1
inet 10.8.42.38

source 的搜索

当你在 Bash 中使用 source 时,它将在当前目录中搜索你引用的文件。但并非所有 shell 都这样,因此,如果你不使用 Bash,请查看文档。

如果 Bash 找不到要执行的文件,它将搜索你的 PATH。同样,这并不是所有 shell 的默认设置,因此,如果你不使用 Bash,请查看文档。

这些都是 Bash 中不错的便利功能。这种出奇地强大,因为它允许你将常用函数保存在磁盘上的一个集中的位置,然后将你的环境视为集成开发环境 (IDE)。你不必担心函数的存储位置,因为你知道它们在你的本地位置等同于在 /usr/include 下,因此无论你在哪,当你导入它们时,Bash 都可以找到它们。

例如,你可以创建一个名为 ~/.local/include 的目录作为常见函数存储区,然后将此代码块放入 .bashrc 文件中:

for i in $HOME/.local/include/*;
  do source $i
done

这会将 ~/.local/include 中所有包含自定义函数的文件“导入”到 shell 环境中。

当你使用 source 或 . 命令时,Bash 是唯一搜索当前目录和 PATH 的 shell。

将 source 用于开源

使用 source 或 . 来执行文件是影响环境同时保持变更模块化的一种便捷方法。在下次考虑将大量代码复制并粘贴到 .bashrc 文件中时,请考虑将相关函数或别名组放入专用文件中,然后使用 source 导入它们。


via: https://opensource.com/article/20/6/bash-source-command

作者: Seth Kenlon 选题: lujun9972 译者: geekpi 校对: wxy

本文由 LCTT 原创编译, Linux中国 荣誉推出

点击“了解更多”可访问文内链接

篇介绍了前端入门——html 中如何使用图片,今天讲下如何使用视频和音频等多媒体元素,它们能让你的网页更加丰富,读者相对于文字图片更愿意观看视频和音频或其它多媒体。在本教程中,您将了解到不同的多媒体格式,以及如何在您的网页中使用它们。

什么是多媒体?

是多种媒体的综合,一般包括文本,声音和图像等多种媒体形式。在计算机系统中,多媒体指组合两种或两种以上媒体的一种人机交互式信息交流和传播媒体。使用的媒体包括文字、图片、照片、声音、动画和影片,以及程式所提供的互动功能。

在因特网上,您会经常发现嵌入网页中的多媒体元素,现代浏览器已支持多种多媒体格式。

多媒体文件格式

多媒体元素(比如视频和音频)存储于媒体文件中。多媒体元素也拥有带有不同扩展名字的文件格式,比如 .swf、.wmv、.mp3 以及 .mp4。具体有哪些格式可以参考 w3cshool 网站的介绍,https://www.w3cschool.cn/html5/html5-video.html ,https://www.w3cschool.cn/html5/html5-audio.html。

HTML5 Video(视频)

直到现在,网页上仍然不存在一项显示视频的标准。今天,大多数视频是通过插件(比如 Flash)来显示的。然而,并非所有浏览器都拥有同样的插件。HTML5 规定了一种通过 video 元素来包含视频的标准方法。

语法如下:

<video width="320" height="240" controls>
  <source src="movie.mp4" type="video/mp4">
  <source src="movie.ogg" type="video/ogg">
  您的浏览器不支持Video标签。
</video>

<video> 元素提供了播放、暂停和音量控件来控制视频。

同时 <video> 元素也提供了 width 和 height 属性控制视频的尺寸。如果设置的高度和宽度,所需的视频空间会在页面加载时保留。如果没有设置这些属性,浏览器不知道视频的大小,浏览器就不能在加载时保留特定的空间,页面就会根据原始视频的大小而改变。

<video> 与 </video> 标签之间插入的内容是提供给不支持 video 元素的浏览器显示的。元素可以链接不同的视频文件。浏览器将使用第一个可识别的格式。一个页面可以使用多个<video> 标签,<video> 元素支持三种视频格式: MP4, WebM, 和 Ogg。

显示效果:

HTML5Audio(音频)

和视频一样没有统一的标准,各个浏览器都不一样。HTML5 规定了在网页上嵌入音频元素的标准,即使用 <audio> 元素。通过使用HTML5中的audio功能,你可以实现与flash相同的功能,即回放、跳转、缓冲等。

语法如下:

<audio controls>
  <source src="horse.ogg" type="audio/ogg">
  <source src="horse.mp3" type="audio/mpeg">
  您的浏览器不支持 audio 元素。
</audio>

control 属性供添加播放、暂停和音量控件。在<audio> 与 </audio> 之间你需要插入浏览器不支持的<audio>元素的提示文本 。允许使用多个 <source> 元素。<source> 元素可以链接不同的音频文件,浏览器将使用第一个支持的音频文件。目前, <audio>元素支持三种音频格式文件: MP3, Wav, 和 Ogg。

显示效果:

HTML 插件——辅助应用程序

插件(Plug-in)是扩展浏览器标准功能的计算机程序,插件被设计用于许多不同的目的:

  • 运行 Java 小程序
  • 运行 ActiveX 控件
  • 显示 Flash 电影
  • 显示视频或音频
  • 显示地图
  • 扫描病毒
  • 验证银行账号

1、<object> 元素

<object> 元素定义 HTML 文档中的嵌入式对象。

它旨在将插件(例如 Java applet、PDF 阅读器和 Flash 播放器)嵌入网页中,但也可以用于将 HTML 包含在 HTML 中。

如下:

插入一个网页片段

<object width="100%" height="500px" data="snippet.html"></object>

或者插入一个图片

<object data="audi.jpeg"></object>

播放一个视频

<object width="420" height="360"
classid="clsid:02BF25D5-8C17-4B23-BC80-D3488ABDDC6B"
codebase="http://www.apple.com/qtactivex/qtplugin.cab">
<param name="src" value="movie.mp4">
<param name="controller" value="true">
</object>

播放一个音频

<object height="100" width="100" data="song.mp3"></object>

2、<embed> 元素

<embed> 元素也可定义了 HTML 文档中的嵌入式对象。这是一个 HTML5 标签,在 HTML4 中是非法的,但是所有浏览器中都有效。

插入一个flash文件

<embed width="400" height="50" src="bookmark.swf">

插入html片段

<embed width="100%" height="500px" src="snippet.html">

播放一个音频

<embed height="100" width="100" src="song.mp3" />

插入一个图片

<embed src="audi.jpeg">

注意:

大多数浏览器不再支持 Java 小程序和插件。

大多数现代浏览器关闭了对 Flash 的支持。

我们可以使用 <video> 和 <audio> 标签来显示视频和音频

视频和音频如何兼容大多浏览器

如下视频代码HTML 5 <video> 元素会尝试播放以 mp4、ogg 或 webm 格式中的一种来播放视频。如果均失败,则回退到 <embed> 元素。

HTML 5 + <object> + <embed> 是最好的解决办法。

<video width="320" height="240" controls="controls">
  <source src="movie.mp4" type="video/mp4" />
  <source src="movie.ogg" type="video/ogg" />
  <source src="movie.webm" type="video/webm" />
  <object data="movie.mp4" width="320" height="240">
    <embed src="movie.swf" width="320" height="240" />
  </object>
</video>

如下音频代码HTML5 <audio> 元素会尝试以 mp3 或 ogg 来播放音频。如果失败,代码将回退尝试 <embed> 元素。

HTML 5 + <embed> 是最好的解决办法。

<audio controls="controls" height="100" width="100">
  <source src="song.mp3" type="audio/mp3" />
  <source src="song.ogg" type="audio/ogg" />
  <embed height="100" width="100" src="song.mp3" />
</audio>

到此你以及了解了如何在网页中使用视频音频及其它多媒体控件,赶快自己试试,祝你学习愉快。

参考文献:https://www.w3school.com.cn/html/html_video.asp

上篇:前端入门——html 中如何使用图片

下篇:前端入门——html 表格的使用

这篇文章中,我将分享21个HTML技巧,包括代码片段,可以提升你的编码技能。

让我们立即开始吧。

(本文视频讲解:java567.com)