file-type-agda SVG 图标

Q: file-type-agda 图标可以商用吗？

vscode-iconsfile-type-agda

来自 VSCode Icons 开源图标集，矢量 SVG 可无损缩放到任意尺寸，支持在线改色、复制 React/Vue/HTML 代码。

图标 ID: vscode-icons:file-type-agda
中文名: —
所属集合: VSCode Icons
集合规模: 1,717 枚
基础网格: 32px
色彩: 多色
开源协议: MIT
作者: Roberto Huertas

下载 file-type-agda 图标

SVG 矢量源文件，或 PNG 按 16~512 预设与 16~1024 自定义尺寸导出，任意尺寸边缘锐利。

iOS / Android 全套尺寸 · 素材包生成器用 AI 生成类似风格的图标

PNG 由矢量源实时渲染，任意尺寸边缘锐利无锯齿；下载与预览均免费，无需注册。

file-type-agda 的预览与使用场景

切换预览颜色后，下方三底色、真实界面场景与各尺寸渲染会实时跟随。

预览颜色

浅色背景

深色背景

灰底融入

在真实界面里长这样

继续按钮内 · 主操作

搜索file-type-agda…输入框 · 前缀图标

file-type-agda导航菜单 · 选中态

暂无内容空状态 · 引导提示

9:41

file-type-agda

file-type-c

file-type-k

file-type-q

file-type-r

default-file

file-type-ai

file-type-al

file-type-c2

file-type-c3

file-type-cf

file-type-db手机桌面 · App 图标

file-type-agdavscode-icons.design/icons/file-type-agda浏览器 · 标签页与站点图标

各尺寸下的可读性

24px

32px

48px

64px

96px

128px

复制 file-type-agda 图标代码

内联 SVG、React、Vue 与 CSS mask 四种主流引用方式，代码基于当前源文件生成，复制即用。

svgSVG 源码（内联 HTML）

<svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 32 32"><path fill="#d2d2d2" d="M8.46 10.79a.61.61 0 0 1-.62.61a.61.61 0 0 1-.6-.61a.61.61 0 0 1 .6-.61a.61.61 0 0 1 .62.61m2.26 0a.61.61 0 0 1-.61.61a.61.61 0 0 1-.61-.61a.61.61 0 0 1 .61-.61a.61.61 0 0 1 .61.61"/><path fill="none" stroke="#d2d2d2" stroke-linecap="round" stroke-linejoin="round" stroke-width=".82" d="M25.06 4.67L16 13.73m13.6-6.8l-4.54 4.54m4.53-6.8L25.06 9.2M13.73 4.67L9.2 9.2M16 4.67L11.47 9.2m0-4.53L2.4 13.73h4.53v4.54c0 4.98 4.08 9.06 9.06 9.06s9.06-4.08 9.06-9.06v-4.54l4.53-4.53"/></svg>

reactReact 组件（TSX）

export function FileTypeAgdaIcon(props: React.SVGProps<SVGSVGElement>) {
  return (
    <svg
      xmlns="http://www.w3.org/2000/svg"
      width="1em"
      height="1em"
      viewBox="0 0 32 32"
      fill="currentColor"
      {...props}
      dangerouslySetInnerHTML={{ __html: `<path fill="#d2d2d2" d="M8.46 10.79a.61.61 0 0 1-.62.61a.61.61 0 0 1-.6-.61a.61.61 0 0 1 .6-.61a.61.61 0 0 1 .62.61m2.26 0a.61.61 0 0 1-.61.61a.61.61 0 0 1-.61-.61a.61.61 0 0 1 .61-.61a.61.61 0 0 1 .61.61"/><path fill="none" stroke="#d2d2d2" stroke-linecap="round" stroke-linejoin="round" stroke-width=".82" d="M25.06 4.67L16 13.73m13.6-6.8l-4.54 4.54m4.53-6.8L25.06 9.2M13.73 4.67L9.2 9.2M16 4.67L11.47 9.2m0-4.53L2.4 13.73h4.53v4.54c0 4.98 4.08 9.06 9.06 9.06s9.06-4.08 9.06-9.06v-4.54l4.53-4.53"/>` }}
    />
  );
}

vueVue 3 组件

<template>
  <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 32 32" fill="currentColor" v-html="body"></svg>
</template>

<script setup>
const body = `<path fill="#d2d2d2" d="M8.46 10.79a.61.61 0 0 1-.62.61a.61.61 0 0 1-.6-.61a.61.61 0 0 1 .6-.61a.61.61 0 0 1 .62.61m2.26 0a.61.61 0 0 1-.61.61a.61.61 0 0 1-.61-.61a.61.61 0 0 1 .61-.61a.61.61 0 0 1 .61.61"/><path fill="none" stroke="#d2d2d2" stroke-linecap="round" stroke-linejoin="round" stroke-width=".82" d="M25.06 4.67L16 13.73m13.6-6.8l-4.54 4.54m4.53-6.8L25.06 9.2M13.73 4.67L9.2 9.2M16 4.67L11.47 9.2m0-4.53L2.4 13.73h4.53v4.54c0 4.98 4.08 9.06 9.06 9.06s9.06-4.08 9.06-9.06v-4.54l4.53-4.53"/>`;
</script>

cssCSS mask（随 currentColor 改色）

.file-type-agda {
  width: 1em;
  height: 1em;
  background-color: currentColor;
  -webkit-mask: url("data:image/svg+xml,%3Csvg%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20width%3D%221em%22%20height%3D%221em%22%20viewBox%3D%220%200%2032%2032%22%3E%3Cpath%20fill%3D%22%23d2d2d2%22%20d%3D%22M8.46%2010.79a.61.61%200%200%201-.62.61a.61.61%200%200%201-.6-.61a.61.61%200%200%201%20.6-.61a.61.61%200%200%201%20.62.61m2.26%200a.61.61%200%200%201-.61.61a.61.61%200%200%201-.61-.61a.61.61%200%200%201%20.61-.61a.61.61%200%200%201%20.61.61%22%2F%3E%3Cpath%20fill%3D%22none%22%20stroke%3D%22%23d2d2d2%22%20stroke-linecap%3D%22round%22%20stroke-linejoin%3D%22round%22%20stroke-width%3D%22.82%22%20d%3D%22M25.06%204.67L16%2013.73m13.6-6.8l-4.54%204.54m4.53-6.8L25.06%209.2M13.73%204.67L9.2%209.2M16%204.67L11.47%209.2m0-4.53L2.4%2013.73h4.53v4.54c0%204.98%204.08%209.06%209.06%209.06s9.06-4.08%209.06-9.06v-4.54l4.53-4.53%22%2F%3E%3C%2Fsvg%3E") no-repeat center / contain;
  mask: url("data:image/svg+xml,%3Csvg%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20width%3D%221em%22%20height%3D%221em%22%20viewBox%3D%220%200%2032%2032%22%3E%3Cpath%20fill%3D%22%23d2d2d2%22%20d%3D%22M8.46%2010.79a.61.61%200%200%201-.62.61a.61.61%200%200%201-.6-.61a.61.61%200%200%201%20.6-.61a.61.61%200%200%201%20.62.61m2.26%200a.61.61%200%200%201-.61.61a.61.61%200%200%201-.61-.61a.61.61%200%200%201%20.61-.61a.61.61%200%200%201%20.61.61%22%2F%3E%3Cpath%20fill%3D%22none%22%20stroke%3D%22%23d2d2d2%22%20stroke-linecap%3D%22round%22%20stroke-linejoin%3D%22round%22%20stroke-width%3D%22.82%22%20d%3D%22M25.06%204.67L16%2013.73m13.6-6.8l-4.54%204.54m4.53-6.8L25.06%209.2M13.73%204.67L9.2%209.2M16%204.67L11.47%209.2m0-4.53L2.4%2013.73h4.53v4.54c0%204.98%204.08%209.06%209.06%209.06s9.06-4.08%209.06-9.06v-4.54l4.53-4.53%22%2F%3E%3C%2Fsvg%3E") no-repeat center / contain;
}

给 file-type-agda 加一点动效

单文件 CSS 即可播放，无需任何依赖；描画动效仅对描边类图标生效。

呼吸

透明度往复渐变，适合状态提示与在线指示。

css呼吸动效样式

.icon-file-type-agda {
  animation: icon-breathe 1.8s ease-in-out infinite;
}

@keyframes icon-breathe {
  0%, 100% { opacity: 1; }
  50% { opacity: 0.35; }
}

旋转

匀速循环旋转，适合加载中场景。

css旋转动效样式

.icon-file-type-agda {
  animation: icon-spin 1.6s linear infinite;
}

@keyframes icon-spin {
  to { transform: rotate(360deg); }
}

描画

线条从无到有依次绘出，适合线性图标与首屏引导。

css描画动效样式

.icon-file-type-agda path {
  stroke-dasharray: 120;
  animation: icon-draw 1.2s ease forwards;
}

@keyframes icon-draw {
  from { stroke-dashoffset: 120; }
  to { stroke-dashoffset: 0; }
}

SVG 健康报告

对源文件的客观技术指标，供工程侧评估引用方式。

文件体积

0.58 KB

591 字节

viewBox

0 0 32 32

矢量坐标系

图元总数

<path> ×2

风格

多色填充

描边可随字号加粗

同时含 width/height 与 viewBox：可以只保留 viewBox，让图标跟随容器自适应缩放。文件体积 0.58 KB（591 字节），图元 2 个，风格为多色填充。

常见问题

关于 file-type-agda 图标的下载、商用与改色。

file-type-agda 图标是什么？▾

它是 VSCode Icons（vscode-icons）开源图标集中的 file-type-agda 图标，多色填充，viewBox 为 0 0 32 32，文件仅 0.58 KB，矢量格式可无损缩放到任意尺寸。

如何下载 file-type-agda 图标？▾

点击「下载与导出」中的 SVG 源文件按钮保存矢量文件；也可以按 512 / 256 / 128 / 64 / 32 / 16px 预设导出 PNG，或在输入框填 16~1024 之间的任意尺寸。需要 iOS、Android 全套尺寸时，用素材包生成器一键打包。

file-type-agda 图标可以商用吗？▾

如何修改 file-type-agda 图标的颜色？▾

在「预览与场景」的色板中切换颜色，三底色与全部场景会实时跟随；点击任一相近图标可打开预览弹层，复制对应颜色的 SVG 源码或 PNG。也可以复制 SVG 源码后自行修改 fill 值。